Skip to content

Fix a crucial bug in the Configure relevance predicate#174

Merged
pmbittner merged 30 commits into
developfrom
fix-configure
Nov 5, 2025
Merged

Fix a crucial bug in the Configure relevance predicate#174
pmbittner merged 30 commits into
developfrom
fix-configure

fix: ConfigureSpec vs new Source interface

a991942
Select commit
Loading
Failed to load commit list.