diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-22 16:51:45 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-22 16:51:45 +0000 |
commit | b982db88bed5e94913460dce7cd2b728ba925475 (patch) | |
tree | c547ff41ced26a93c23e9a022988066658907f6c /editors | |
parent | e73cc8b4abed6e6f5d801d0032070fa9fc662ec3 (diff) | |
parent | 738d9cdfde3acf680880b5f53d92a07529ba3050 (diff) |
Merge #7398
7398: stave off zombies r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions