diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-10 16:48:21 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-10 16:48:21 +0100 |
commit | f553162c4eee2c99e27de7e7351d8a3681601b1d (patch) | |
tree | 2267fb0aa4f15d900d7ce8c6bcc4ef976aac8084 /.github | |
parent | fcd609862b8d5b0567bb74895ef75b02912a375d (diff) | |
parent | c476742f47dd905fa366e62f480e3f656c62e66c (diff) |
Merge #3928
3928: Simplify r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions