diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-25 11:48:51 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-25 11:48:51 +0100 |
commit | 463d44075fa0420af7f2afe9d1a6727ae6baa5bd (patch) | |
tree | c40e4d916b2efcd4c7debabbb183b05c08bb7fad /.github/workflows/ci.yaml | |
parent | 4f91478e50dc5c2a87235e9be8bd91e3f62de4b4 (diff) | |
parent | 663749beab2eeaaaf2b7d24fe2f721237d1d4dc0 (diff) |
Merge #5869
5869: Minor
r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github/workflows/ci.yaml')
0 files changed, 0 insertions, 0 deletions