diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-20 17:06:58 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-09-20 17:06:58 +0100 |
commit | 7d6c3de890744a143ab2086a79f21fe4ff06008a (patch) | |
tree | d739277fc164ef2ac2facd0d463b5ab33d5ff45f /.gitignore | |
parent | 3575f7c4a2c20ed84626e2652be195fc26dd1add (diff) | |
parent | 2d99e6de278bdd1f2b094c818a960734c9b7db0b (diff) |
Merge #1886
1886: Simplify match arm r=matklad a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions