diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-02 16:14:06 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-02 16:14:06 +0100 |
commit | 9d7343719ded81805b977000b4ad805458fe69c8 (patch) | |
tree | e8572154d505e9eddde4e454ac03dfb06589b464 /crates/syntax/src/lib.rs | |
parent | dbdfeeeff91b5e42d8687df09dda1d29f99b34f8 (diff) | |
parent | 76fd1b316f38b59991316d5b97582c0203728738 (diff) |
Merge #9110
9110: internal: simplify r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/syntax/src/lib.rs')
0 files changed, 0 insertions, 0 deletions