diff options
| author | Ignacio Roldán Etcheverry <neikeq@users.noreply.github.com> | 2019-06-08 21:14:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-08 21:14:15 +0200 |
| commit | abbbde87e28982150d30e748b89c5303384909ca (patch) | |
| tree | 5bf3beb567e9816442bee27790ffdd96ff0bfac2 /platform_methods.py | |
| parent | 693582f00837bb4ce4fb3ce91d2366ee359eecf4 (diff) | |
| parent | 26f9d907d48ecac5f32d8e94f1366478d9f75ce3 (diff) | |
Merge pull request #29606 from neikeq/remove-unneeded-mono-patches
Remove obsolete mono patch for pthread_mutexattr_setprotocol
Diffstat (limited to 'platform_methods.py')
0 files changed, 0 insertions, 0 deletions