diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-31 21:05:10 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-31 21:05:10 +0100 |
commit | 2346a28c638dc8fe945059b68126d268dd7fb690 (patch) | |
tree | 4cfe573d8d6c49c3f92f4a56e5fae3af2b37c1a0 /.github/workflows/ci.yaml | |
parent | 1914d0aa7b5518c743e7403da6d7eea3fe28e955 (diff) | |
parent | 8cf19847ddbcbbe1c1bb634dfc4a61ab75ec941d (diff) |
Merge #5634
5634: Finish rename 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