diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-05 18:32:18 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-05 18:32:18 +0100 |
commit | 32db5884ada59c72aa7ab9f88910ef7c8f882e7d (patch) | |
tree | 3087ce4328431058c825247bfa7e28b075124e6c /docs | |
parent | 3ea25a66a8deab9e20654dbc8d2bf07df2cbb6f8 (diff) | |
parent | 293cc81bf158e723155bfafbc08731a927873d48 (diff) |
Merge #1247
1247: Remove collect r=matklad a=kjeremy
Might help with perf
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions