diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-14 10:44:04 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-10-14 10:44:04 +0100 |
| commit | 691bc276862c83cb6ccb2db08c4c903863de8a94 (patch) | |
| tree | 90e4457b5e251c26252aa72d33835eba9a8a089c /editors/code/src/notifications | |
| parent | 85361e8d507cf608001447a5ce2c4b6cd3f22535 (diff) | |
| parent | 53d1673edc13512423fa5236908a85102324c26a (diff) | |
Merge #1999
1999: Simplify find().is_some() to any() r=matklad a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'editors/code/src/notifications')
0 files changed, 0 insertions, 0 deletions