diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-19 13:34:46 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-19 13:34:46 +0000 |
commit | dc8e2fea98aecbba0c587e5999b9e09533e0091c (patch) | |
tree | fd915cff7b4a62113ebd11f3b014b71e3f38bc94 /.github | |
parent | c0897957133dde949d9c852c49766b7d116ff6ba (diff) | |
parent | 506467b4c80416381423f0f17fbf97f72797499c (diff) |
Merge #8106
8106: Add builtin macro-like attributes r=jonas-schievink a=jonas-schievink
We also have to know about these to resolve them
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions