diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-29 16:38:00 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-29 16:38:00 +0100 |
commit | 525ae706b3e4c0f5f8b80d197e5fede0a9974442 (patch) | |
tree | 8c8ef7e8dd61e79af322880292957c2cb5ca7289 /docs/dev | |
parent | 9110e3b67f8403f453247a12ad878b6c92c3d3d3 (diff) | |
parent | 0d1357be0515cf14bbca3577715b68794a7637b2 (diff) |
Merge #5570
5570: Dead code r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions