diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-19 14:19:13 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-19 14:19:13 +0000 |
commit | e9440f598d7ad3758594d4c5ab44f467395170c5 (patch) | |
tree | a00820d0b682f01f2f01d21040a577aedb53105d /xtask/src/dist.rs | |
parent | 067d22b61bc15e60d91677e2528f3fbdfafad877 (diff) | |
parent | 113688cef0e98c91e803d94e4b3ab90682cc8a1d (diff) |
Merge #6949
6949: Clarify the meaning of no-op highlight tag r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'xtask/src/dist.rs')
0 files changed, 0 insertions, 0 deletions