diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-19 07:09:48 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-04-19 07:09:48 +0100 |
commit | 0308fd6dabfce2d13e7e9c5b2a779be73579fa31 (patch) | |
tree | f7a476b00fd860a008ef1e393d22412f9003cb2b /crates/ide/src/syntax_highlighting/tags.rs | |
parent | 3f432730dfc7df83fed2d78a97d3d0cf97ffc282 (diff) | |
parent | ef306b2ec271221d3ef7d52b255edc48b3c026c8 (diff) |
Merge #8572
8572: minor: update bug report template r=lnicola a=lnicola
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/ide/src/syntax_highlighting/tags.rs')
0 files changed, 0 insertions, 0 deletions