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 /modules/gdscript | |
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 'modules/gdscript')
0 files changed, 0 insertions, 0 deletions