diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-22 18:57:24 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-22 18:57:24 +0100 |
| commit | 0e0d77d0a3361ee08cdb08a9060f5aa6160a5741 (patch) | |
| tree | 1a6e219398b29faf6dc22f8d948075ac3b804373 /docs/dev | |
| parent | 16d83ccbe2d4dd80c4a5de0793d95fb67e034408 (diff) | |
| parent | 4772cb6b301917820eff62d36e2d6ec359420df3 (diff) | |
Merge #9376
9376: minor: clarify naming 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