diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-11 18:03:09 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-11 18:03:09 +0000 |
commit | 3674e494ca5213633b85b3a65823f31742e0638b (patch) | |
tree | 2e426347c9ba65e2f535c576de4604eeb7daeaf9 /.github/actions/github-release | |
parent | 3df4b8c1fa4c1686228162bff03e4db3f01b9826 (diff) | |
parent | 253678ead2a7a977340ab182685c4b932b855b3b (diff) |
Merge #6819
6819: Add builtin attributes for use in nameres r=jonas-schievink a=jonas-schievink
These are not yet used, but have to go through nameres later in order to support procedural macro attributes
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to '.github/actions/github-release')
0 files changed, 0 insertions, 0 deletions