projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 253fbf8 09b97cb)
Merge pull request #2012 from joelmartinez/mdoc-memberremoval-fix
authorJonathan Pryor <jonpryor@vt.edu>
Tue, 1 Sep 2015 18:57:20 +0000 (14:57 -0400)
committerJonathan Pryor <jonpryor@vt.edu>
Tue, 1 Sep 2015 18:57:20 +0000 (14:57 -0400)
[mdoc] Fixes an issue with member deletion.


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