diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-05 13:29:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-05 13:29:07 +0200 |
| commit | fa0c347c869bc396b3734bf7dc9bb794a165e40e (patch) | |
| tree | 8d7251d2448e50e7a8848cc77364fdb27e81ae96 /modules/gdscript/language_server/gdscript_extend_parser.h | |
| parent | e1b4c771ce84127aea640a24c2a90332bb7d3b1f (diff) | |
| parent | ef62506e5cc3f61b020ac0679bb3122a346e50af (diff) | |
Merge pull request #38468 from m4gr3d/fix_permissions_handling_bug
Address `OS.request_permissions()` bug when a non-platform permission is included
Diffstat (limited to 'modules/gdscript/language_server/gdscript_extend_parser.h')
0 files changed, 0 insertions, 0 deletions