diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-24 15:11:51 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-24 15:11:51 +0100 |
| commit | 3d799b66df8550a21523d42116a9b83116aa92d8 (patch) | |
| tree | a3e6667b7995844e25910c82e047ba148e976d54 /.github/workflows/metrics.yaml | |
| parent | f4f106dcead91dda26d6683ef584a020444dd6fe (diff) | |
| parent | 93dfa39766b7470000e0de32ec2fc1b450c6e2a5 (diff) | |
Merge #5523
5523: Minor r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github/workflows/metrics.yaml')
0 files changed, 0 insertions, 0 deletions