diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-05 18:01:46 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-05 18:01:46 +0100 |
commit | df7b59081fabd96c6ee5599aad58c941cfb6beb7 (patch) | |
tree | 3e2c0ef6c458519d7c324b74e5ab0ff91dec5a3b /editors | |
parent | f0411ff9e0826fab1aaefc3e5b5072d84ce31d35 (diff) | |
parent | 7ec1b63f813e45f26668c2d6d803ec72c3c75738 (diff) |
Merge #4323
4323: Add tests for #4306 r=kjeremy a=lnicola
CC @kjeremy
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions