diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-24 17:51:46 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-11-24 17:51:46 +0000 |
commit | d2f398cd76659425c9d48185a1be92ee9a9332c2 (patch) | |
tree | d0f3f77261cf35f0ee7f1d3b0dce8ebd13f93191 /editors | |
parent | b769f5da6e51d1da2c981f00c48fb2585f933138 (diff) | |
parent | 377fa7db3f1664dcc46213402b4fb7bd98923475 (diff) |
Merge #6624
6624: Check structs for match exhaustiveness r=Veykril a=Veykril
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions