diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-20 22:31:18 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-20 22:31:18 +0000 |
commit | c3d21ea05a1d1e1a88a983773fd821f6f6470264 (patch) | |
tree | 0270cf2dc8ed3de53f1cecae47e313cbba125d3f /.gitignore | |
parent | 99f23e2f8733c480ed49648fda25564ff7a9a394 (diff) | |
parent | f4df2d164d7c6bc680d9bf255792a0d8e9718211 (diff) |
Merge #6968
6968: Update syn and quote r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions