diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-18 12:20:54 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-18 12:20:54 +0100 |
commit | 5dfb1e054aa5ab0636e6a0ff5e2bbf297a24869a (patch) | |
tree | 2288f208d3bf020e10cf906220fcd3f4cbc0a38e /docs/dev | |
parent | a95c5e21219cd6569e2630637fd4268e24c0ca03 (diff) | |
parent | 9389e313d0f5f16e301acaf38fee1c00c76c5cce (diff) |
Merge #5793
5793: Minor
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