Skip to content

remove sprintf for prefixing scopes#519

Merged
smarcet merged 2 commits intomainfrom
feature/prefixed-const-scopes
Mar 16, 2026
Merged

remove sprintf for prefixing scopes#519
smarcet merged 2 commits intomainfrom
feature/prefixed-const-scopes

Commits

Commits on Mar 16, 2026