diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-04 18:05:33 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-04 18:05:33 +0000 |
commit | cc3423c662b671680042ae6d83f01113f1bbb089 (patch) | |
tree | 4428476367aa3bb9fa53205ed1944514312e94c8 /editors/code/src/commands | |
parent | 88702a758f031f33452e9acac621841552ec9f8a (diff) | |
parent | 20e9aa2364f39a2cb19a77044c6dedf7fedb0176 (diff) |
Merge #739
739: Future proof by explicitly matching against None r=DJMcNab a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'editors/code/src/commands')
0 files changed, 0 insertions, 0 deletions