2 commits

Author	SHA1	Message	Date
Ignacio Etcheverry	26f9d907d4	Remove obsolete mono patch for pthread_mutexattr_setprotocol ... This has already been fixed in Mono both master and 2019-06 (no other branch other than the skipped 2019-04 branch uses pthread_mutexattr_setprotocol).	2019-06-08 17:00:02 +02:00
Ignacio Etcheverry	14df9e5cb2	Android build and export for the mono module	2019-06-03 17:09:24 +02:00