diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-19 16:42:26 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-19 16:42:26 +0100 |
commit | 45c24ae0a5f9fedac996bdc26244cb1161810722 (patch) | |
tree | face1eb5c4a3cf3817b6cefab96f94663f3b792f /.github | |
parent | a4b7ce94bacbb8a9da28111fba0abeb2a68e9bc2 (diff) | |
parent | 11a1bb1c3ec02456813ccb5cb0bdb76f9d39b2ec (diff) |
Merge #5818
5818: Some trivial local simiplifications r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions