diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-20 14:44:49 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-20 14:44:49 +0000 |
| commit | 15b59fe434c58b1379415eda3d77f5130ade9c72 (patch) | |
| tree | 0d60b83216f04eb8e2cbb35c1871c07364035a0b /.github/workflows/publish.yml | |
| parent | de5aabd48be33898ae2280f1544bffe166075348 (diff) | |
| parent | 0587b99fde4acf4225c024980dbde624ce6821e6 (diff) | |
Merge #7360
7360: Make public DefMap fields private r=jonas-schievink a=jonas-schievink
This gives us more freedom to change the implementation for name resolution within block expressions.
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to '.github/workflows/publish.yml')
0 files changed, 0 insertions, 0 deletions