diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-13 18:04:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-13 18:04:22 +0200 |
| commit | db1eb909fe1e6067743892d7544160a1a40b9e43 (patch) | |
| tree | d354d5d6ed7fdeeac486c9d89a8fb69c1ea811d9 /misc/scripts | |
| parent | 817062f8ecc82a34ad980f0081e8592291e2ff55 (diff) | |
| parent | 5d54c015b2dd0a26237c00788be25b3da4cfe3dd (diff) | |
Merge pull request #40261 from bruvzg/macos_mono_build
[macOS, Mono] Fix "Wdeprecated-declarations" build error.
Diffstat (limited to 'misc/scripts')
0 files changed, 0 insertions, 0 deletions