diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-10 15:34:05 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-10-10 15:34:05 +0100 |
| commit | 19cc85bf0af04167cd75dcb5fdc40bcdfe51f3e0 (patch) | |
| tree | 356a3b29a03f6343b8aa14d548ba40efaabbd963 /.github | |
| parent | 62acb9f233ec7aef5463146fd14c02d46cf8e9c1 (diff) | |
| parent | b36b8970ccefa7c98f827caebf6dda71ff3d99c4 (diff) | |
Merge #1985
1985: simplify a bit r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions