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