diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-02 19:13:38 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-02 19:13:38 +0100 |
commit | 642f3f4bd62019d8c0fdd6304ff07d87a5aca627 (patch) | |
tree | 41d140d0b9e2e53a347ab936f2f4e4716b606ea3 /editors | |
parent | 09b8ee30bab7040ec983968aaca90814029f4dc0 (diff) | |
parent | c0cf60dca2a178ae66180a3d60b65dfec7243931 (diff) |
Merge #3798
3798: Simplify r=Veetaha a=Veetaha
bear with me
Co-authored-by: veetaha <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions