diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-22 17:09:37 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-22 17:09:37 +0100 |
| commit | a95bb1355dd5fb95f6d66e6cd6b14b6ae8051f77 (patch) | |
| tree | d4b33d1360afd4dbcbd479f0691bed7c98de2895 /crates/ra_ide_db/src/defs.rs | |
| parent | 2a36a2a3cc016de61a5df3165037ed689f36c423 (diff) | |
| parent | 2c04aad2d2a52ce52d6ea6452faf8d1788f0c83f (diff) | |
Merge #4571
4571: KISS SourceChange r=matklad a=matklad
The idea behind requiring the label is a noble one, but we are not
really using it consistently anyway, and it should be easy to retrofit
later, should we need it.
bors r+
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_ide_db/src/defs.rs')
0 files changed, 0 insertions, 0 deletions