better handling of unknown components in .init#2450
Merged
quentin merged 1 commit intosouffle-lang:masterfrom Dec 7, 2023
Merged
better handling of unknown components in `.init`#2450quentin merged 1 commit intosouffle-lang:masterfrom
quentin merged 1 commit intosouffle-lang:masterfrom
