diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-15 22:15:30 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-11-15 22:15:30 +0000 |
commit | ad10c4b8e2d81af7fc35a466cd434e2c3952bfd8 (patch) | |
tree | 895770caf6ae51bf9fad7766924212ff5f326758 /.github | |
parent | d843455de2d619bf4f2577bd004044fa88c56533 (diff) | |
parent | f36ac059f362050dae36569940b94a331387294a (diff) |
Merge #2270
2270: Reduce some duplication r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions