diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-05-08 21:12:31 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-08 21:12:31 +0200 |
| commit | 632572d1cb29ab6badb87c74a95c120b4238f7c6 (patch) | |
| tree | eaaefe965d6a9091ac2b5107264fba55167e20a8 /.github | |
| parent | 76f737bb0e62146cecba618a34e9efc8c91fb3c3 (diff) | |
| parent | ab00c6987a2297b277ad8cadce8c48a705310d17 (diff) | |
Merge pull request #166 from rukai/work_on_latest_nightly
Fix build on the latest nightly
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions