projects / platform / upstream / coreclr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7cdeeda 4bce446)
Merge pull request #8907 from DrewScoggins/PullRequestFix
authorDrew Scoggins <anscoggi@microsoft.com>
Thu, 12 Jan 2017 00:36:41 +0000 (16:36 -0800)
committerGitHub <noreply@github.com>
Thu, 12 Jan 2017 00:36:41 +0000 (16:36 -0800)
Fix pull request title automation


Trivial merge