diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-13 14:44:38 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-13 14:44:38 +0100 |
commit | 4b1c3724364ff538acdcb44bdd23d501ef54cff3 (patch) | |
tree | 562ae4e4d06a2b4ffb36e24a6f0e8869ecffa0b9 /.github | |
parent | eac48f29444e471d64a9d2da07258180a7304383 (diff) | |
parent | 6db29e6b8d25bfc6d308350f219cd77728212ef6 (diff) | |
parent | 82b025b05a1ccd61c31b05eef6504ea28407cfff (diff) |
Merge #5340 #5341
5340: Prefill reviewer r=matklad a=matklad
bors r+
🤖
5341: Reorder imports r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>