diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-21 14:32:57 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-21 14:32:57 +0000 |
| commit | 323138f32ea74cfe9f5381e9e170cf87e7592818 (patch) | |
| tree | 8695e6f668a91d5955699c77077b735e829550aa /bors.toml | |
| parent | cde22aba1c2cf55251365807bcd7170a9d34441c (diff) | |
| parent | f006517857cc5700335dbddfd851770d79ccf7d4 (diff) | |
Merge #7372
7372: Up lexer r=kjeremy a=kjeremy
No real changes here.
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'bors.toml')
0 files changed, 0 insertions, 0 deletions