diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-27 13:20:46 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-27 13:20:46 +0000 |
| commit | 57f0d6cba3b2c7b0a2ac384ab0cb73983afd2a5e (patch) | |
| tree | ec966c7deb22699b18b8d94402129cc3bc38c951 /editors | |
| parent | 2e0cc8b62a760b0a333ed500df27625fcbc9cecd (diff) | |
| parent | 8215b74032de15481af15d3c5805c67158d80d96 (diff) | |
Merge #3346
3346: More cleanup r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions