diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-19 18:56:50 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-19 18:56:50 +0000 |
commit | feff4f3a045545ea2401e1e5cc16dcfc16ebfde9 (patch) | |
tree | 2bc05d2b4a2e20633f4145cd0e40133410887802 /.github/workflows/publish.yml | |
parent | 052e7227b6f7eb8dc4f689a7e14d110b8aff8555 (diff) | |
parent | 9fe85e1fdf0954b4d4c563ab4c40b8823ce5c6c4 (diff) |
Merge #6953
6953: Add test_rename_bind_pat r=bjorn3 a=bjorn3
Fixes #2976
Co-authored-by: bjorn3 <[email protected]>
Diffstat (limited to '.github/workflows/publish.yml')
0 files changed, 0 insertions, 0 deletions