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 /PRIVACY.md | |
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 'PRIVACY.md')
0 files changed, 0 insertions, 0 deletions