projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fd41560 1138466)
Merge pull request #4722 from alexanderkyte/checked_after
authorAlexander Kyte <alexmkyte@gmail.com>
Wed, 19 Apr 2017 19:47:14 +0000 (15:47 -0400)
committerGitHub <noreply@github.com>
Wed, 19 Apr 2017 19:47:14 +0000 (15:47 -0400)
[scripts] Don't build in checked mode


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