diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-11 14:09:09 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-11 14:09:09 +0000 |
commit | 0b83bde6e2f3782ea6acd907fa0a634912cebb3d (patch) | |
tree | 51dc4dde829fa997035cf068b668f3378c8f9f6a /editors | |
parent | 0f4bc7589c40732fb78cb59525a6b4dcfb515567 (diff) | |
parent | 4089db1e0d43ed22593468b9e88dde953849aeee (diff) |
Merge #497
497: prioritize event handing over indexing r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions