diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-02 15:10:13 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-02 15:10:13 +0100 |
| commit | 83f3cdca4f4a3ba612c082bba35c8ecf76abc166 (patch) | |
| tree | 8c7c983c95b567ccbcfd96cd778f36d8af9b2bd3 /.github/workflows/ci.yaml | |
| parent | 1a3a7f42373e1115c9868d2f7173a302e79d6d12 (diff) | |
| parent | 6a694ad047802e6e5aec8522556d2db09c10b18f (diff) | |
Merge #5191
5191: 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