diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-18 13:46:54 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-18 13:46:54 +0000 |
commit | eab80cd961919b9321e1d34343ae3f3adb0502e5 (patch) | |
tree | 825fc70ee0abe5a15a9c55fd5f5a4b34b060f9c5 /docs/dev | |
parent | e59445cdde30cb73bc72e2266032f5e0125e6805 (diff) | |
parent | 039f2039a4ec06c8e52734190ceaf43a21de5e39 (diff) |
Merge #3218
3218: Cut some deps r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions