diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-21 17:10:29 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-21 17:10:29 +0100 |
commit | a3ff2751b4cf8625e2874a482fe4d58da3d02891 (patch) | |
tree | 672b54731512deb57e7d8dcf4ca5d843b542b889 /docs | |
parent | 65b89b5471879a80fb6003c9fa0f8f93e2eb38e6 (diff) | |
parent | be8a7048df93614860b163da064a6baeaad61777 (diff) |
Merge #5476
5476: Cleanup extact variable r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions