diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-26 20:11:47 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-26 20:11:47 +0100 |
| commit | 1caf79c3893359af65b1441821ba2d18814656df (patch) | |
| tree | d63bfa5a27928f55828c7c38b669e2105bb9baf9 /editors | |
| parent | bb1c7fc0cfe24a8477d943faa932992b9cd48957 (diff) | |
| parent | 26e784a575c760087bdb321932e823ad27046024 (diff) | |
Merge #9014
9014: 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