projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e266dbe 94fe3df)
Merge pull request #4787 from BrzVlad/fix-degraded-mode
authorVlad Brezae <brezaevlad@gmail.com>
Wed, 3 May 2017 19:47:01 +0000 (22:47 +0300)
committerGitHub <noreply@github.com>
Wed, 3 May 2017 19:47:01 +0000 (22:47 +0300)
[sgen] Fix accidental triggering of degraded mode


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