diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-04 13:00:30 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-04 13:00:30 +0100 |
commit | d9f1b5fc7cdeedce99874f7cf2111ab09d8b3429 (patch) | |
tree | fa313d4e4134087a545744532e2215b3abbdc7c9 /xtask/src/flags.rs | |
parent | 6d812efcd9e632a47ba85086c0a9dc72d13ff732 (diff) | |
parent | 5a78d96d0ea1e9d71d8bfe999b4af7cd1b85cebe (diff) |
Merge #8719
8719: Fix block comment intra doc link injection ranges r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Tobias Wirth <[email protected]>
Diffstat (limited to 'xtask/src/flags.rs')
0 files changed, 0 insertions, 0 deletions