diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-09 14:58:22 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-09 14:58:22 +0100 |
| commit | 77d2eaba1679832f4c00241645712460351eddb4 (patch) | |
| tree | 4724422ed5f7242cd23987f30133dc211895154b /docs/user | |
| parent | c5c07c2a0a1b4809c5aacef3c8e90034d00c3b03 (diff) | |
| parent | e201e7834d623f954e06925b9de0f14cd5ff90c1 (diff) | |
Merge #4389
4389: Ascribe more correct types r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions