Skip to content

Remove leftovers from when namespace priorities were configured via variantlib#129

Merged
DEKHTIARJonathan merged 4 commits intomainfrom
require-ns-prios
Nov 26, 2025
Merged

Remove leftovers from when namespace priorities were configured via variantlib#129
DEKHTIARJonathan merged 4 commits intomainfrom
require-ns-prios

Commits

Commits on Nov 18, 2025