diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-11 20:48:31 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-11 20:48:31 +0000 |
| commit | 6f685df68164aaf261ebd30a7bb8c81be96c8c77 (patch) | |
| tree | b6181771c1b322d5a5acf6d6b1aa67c2bfaaedec /.github | |
| parent | 00e672a51b0caec9e2bb7004281ce2f57bdbefe5 (diff) | |
| parent | 43df7c3d53198e8ae3509035eb5273d8a94f758b (diff) | |
Merge #3114
3114: Don't let unknown match arms fall back to ! r=kjeremy a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions