diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-05 17:53:47 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-05 17:53:47 +0100 |
| commit | 86f5fd602b20f8ba52c1ba27daa63fedf39ebeb0 (patch) | |
| tree | c9221ae272d625fce3751e86afe21e6a623e3b71 /.gitignore | |
| parent | edc2016f8b49964fa5b179c1ed8e12e4e0a39702 (diff) | |
| parent | b2be998b7b0beb48806cd3a1552e44100b12ddb6 (diff) | |
Merge #1767
1767: better error recovery for use trees r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions