diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-07 22:45:19 +0100 |
---|---|---|
committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-07 22:45:19 +0100 |
commit | a4316d6c63486d718f4d2e56d151180ef40ff0a1 (patch) | |
tree | 3ccd1ade8443aeca739849020be3316b5a9a09d2 /editors/code/.gitignore | |
parent | 1b38ca3b8739230af1cc69884b5b11650b5fcb46 (diff) | |
parent | 8d3d6d5a847d6a7344518dc8362ff08a382bab49 (diff) |
Merge #1506
1506: Update memchr r=kjeremy a=kjeremy
New release has some performance improvements.
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions