Skip to content

Wrap hasDefinition in ScopedContainer [fixes #945]#946

Merged
goetas merged 2 commits intoschmittjoh:masterfrom CRC-Mismatch:patch-1Dec 18, 2023