diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-25 14:22:24 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-25 14:22:24 +0000 |
| commit | 2c735ed734be9b9041921478e0049fffd7160f78 (patch) | |
| tree | 724e39e3933126ee3129c3e4e0c971b443221afd /.github/actions/github-release | |
| parent | 0a6b2b784618ffbc7775e9a3e3aaf42689bb2962 (diff) | |
| parent | 5c241b07666bc7b29e97b8206e505944775266a0 (diff) | |
Merge #7426
7426: Create all `ModuleId`s through a `DefMap` method r=jonas-schievink a=jonas-schievink
`ModuleId` needs to be able to represent blocks, and only the
associated `DefMap` will know how to construct that `ModuleId`
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to '.github/actions/github-release')
0 files changed, 0 insertions, 0 deletions