projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 59f8e6a 2db3c7d)
Merge pull request #2217 from rcruzs00/master
authorRodrigo Kumpera <kumpera@gmail.com>
Wed, 11 Nov 2015 17:05:07 +0000 (12:05 -0500)
committerRodrigo Kumpera <kumpera@gmail.com>
Wed, 11 Nov 2015 17:05:07 +0000 (12:05 -0500)
El Capitan fix : system integrity protection compatibility


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