projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4713c7e 706a697)
Merge pull request #1873 from saper/PR_SET_TRACER
authorMarek Habersack <grendel@twistedcode.net>
Sat, 13 Jun 2015 22:41:18 +0000 (00:41 +0200)
committerMarek Habersack <grendel@twistedcode.net>
Sat, 13 Jun 2015 22:41:18 +0000 (00:41 +0200)
Use PR_SET_PTRACER only if defined


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