diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-23 12:24:28 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-23 12:24:28 +0100 |
commit | ca5e4596a0585332ad8ff03b2c02bba586496947 (patch) | |
tree | 3cc251dde7cad9d7e60a5a41c75fc4ddcd3b812b /.gitattributes | |
parent | 88c292b1c29d824dcb9726a1ea146fe5b9c97028 (diff) | |
parent | 7a46a9949059f24fac211636f95ee914db9a3117 (diff) |
Merge #4578
4578: Remove unnecessary clone that prevented clippy from moving on r=matklad a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions