diff options
| author | Florian Diebold <[email protected]> | 2020-02-11 20:07:18 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-02-11 20:09:11 +0000 |
| commit | 43df7c3d53198e8ae3509035eb5273d8a94f758b (patch) | |
| tree | b6181771c1b322d5a5acf6d6b1aa67c2bfaaedec /.github | |
| parent | 00e672a51b0caec9e2bb7004281ce2f57bdbefe5 (diff) | |
Don't let unknown match arms fall back to !
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions