diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-22 16:09:37 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 16:09:37 +0000 |
| commit | a95bb1355dd5fb95f6d66e6cd6b14b6ae8051f77 (patch) | |
| tree | d4b33d1360afd4dbcbd479f0691bed7c98de2895 /docs/dev | |
| parent | 2a36a2a3cc016de61a5df3165037ed689f36c423 (diff) | |
| parent | 2c04aad2d2a52ce52d6ea6452faf8d1788f0c83f (diff) | |
| download | rust-a95bb1355dd5fb95f6d66e6cd6b14b6ae8051f77.tar.gz rust-a95bb1355dd5fb95f6d66e6cd6b14b6ae8051f77.zip | |
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 <aleksey.kladov@gmail.com>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions