diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-20 09:47:46 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-20 09:47:46 +0000 |
| commit | 3901c3b566a6834c64e029bd6f4fdaaf8b26f809 (patch) | |
| tree | fedc1b02375558b9bd027a318c4bc131784d58c6 /lib/arena/src/map.rs | |
| parent | 8b16af590dd3d241bec07f69f4d4dadae9a4b523 (diff) | |
| parent | 7a5fb37cf12f4e25ce1ba7e464dd257408444bfb (diff) | |
Merge #8115
8115: Rename GenericPredicate -> WhereClause r=flodiebold a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'lib/arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions