diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-03 17:41:25 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-03 17:41:25 +0000 |
commit | 074474fe00a08d394cbdcac2a136bca825d93377 (patch) | |
tree | 0be46628b67ddfaa15be54520cdc41a03977a76a /.github/workflows/release.yaml | |
parent | 7a322f9afff05b88507a6956a2d84a3abef0a0d6 (diff) | |
parent | 34d6e22fc12209417c15d215052857ddac79cdf4 (diff) |
Merge #3427
3427: Rename NameDefinition -> Definition r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github/workflows/release.yaml')
0 files changed, 0 insertions, 0 deletions