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 /editors | |
| 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 'editors')
0 files changed, 0 insertions, 0 deletions