diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-12 11:35:18 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-12 11:35:18 +0100 |
| commit | d0fd8eb7f6303e5c49cd5107a8db2aa1937845d5 (patch) | |
| tree | 4872eebe2c82da58246e63f3140d3339687bd9ab /docs | |
| parent | b27d5233bb3d68ae27e97879c85e5a8851d0501e (diff) | |
| parent | 96001921fc1a00fe4f13dbe140e2df01430d11ea (diff) | |
Merge #5717
5717: Minor
r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions