diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-15 18:19:16 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-11-15 18:19:16 +0000 |
commit | 0516a32ed0f8add1a999be579ff9d8966a241f67 (patch) | |
tree | e9d17dbe5c5d2fa7cb07df69b65fbf5329040518 /docs | |
parent | 97a14d51edf810179472813dce6b4d47f8ff106b (diff) | |
parent | b8b81846ca50afc6c4deeb8ca3f013890b889622 (diff) |
Merge #2262
2262: Speedup builds for users r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions