diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-06-19 11:07:37 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-06-19 11:07:37 +0100 |
| commit | 363f2f394e2c6423388a5e292adcccc38ee1df04 (patch) | |
| tree | c5e2d9b59ce9985fc62c31b63f1bb778f38536c7 /editors | |
| parent | 09864b3b217e2ad6ca8630af6faaaefd8d14e860 (diff) | |
| parent | d6533994e461dac502672c77ff27c6ca08fdc092 (diff) | |
Merge #1414
1414: fix: box_syntax/pattern r=matklad a=csmoe
Closes #1412
r? @matklad
Co-authored-by: csmoe <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions