diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-04 01:56:46 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-04 01:56:46 +0100 |
| commit | 6b43a518e6d12868ddd749c8ebead343ba823f5b (patch) | |
| tree | e09d71efea4f64bdf957640111d9f7a037fb6538 /.gitignore | |
| parent | 234ddf34c743924a15cca7480fb3b4db4581308e (diff) | |
| parent | f774a56af20537f8a1e1da7ec98584bee8ceb635 (diff) | |
Merge #8321
8321: Use exhaustive matches in shrink_to_fit impls r=jonas-schievink a=jonas-schievink
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions