projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 29ddc7e 1862886)
Merge pull request #3060 from directhex/pr-in-version.h
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Fri, 27 May 2016 15:47:54 +0000 (17:47 +0200)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Fri, 27 May 2016 15:47:54 +0000 (17:47 +0200)
[jenkins] Include PR number in version.h if PR builder env is set


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono