Fix #111: Intersection disables disallowSuperfluousProperties#112
Merged
woutervh- merged 2 commits intowoutervh-:masterfrom Nov 1, 2021
Merged
Fix #111: Intersection disables disallowSuperfluousProperties#112woutervh- merged 2 commits intowoutervh-:masterfrom
woutervh- merged 2 commits intowoutervh-:masterfrom