diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-17 17:18:50 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-17 17:18:50 +0000 |
| commit | b0e5d1efdbf81fccf655b202d2433700d6e312e1 (patch) | |
| tree | 85d18aa1ab5700009593c0f2492b76a6eee39c66 /editors | |
| parent | ce3db6c9270411d34635cc6106115110c84a27f6 (diff) | |
| parent | 30216880c406fc6fb0f48d5b9d22eb40860a07e7 (diff) | |
Merge #6920
6920: Minor API 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