projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5221f80 d7962da)
Merge pull request #3202 from dlahoti/patch-1
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Mon, 27 Jun 2016 11:07:08 +0000 (13:07 +0200)
committerGitHub <noreply@github.com>
Mon, 27 Jun 2016 11:07:08 +0000 (13:07 +0200)
make monodis exit with value 1 on an error


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