Skip to content

Make redirecting obsolete terms optional#205

Merged
mbklein merged 2 commits intomainfrom
no-auto-redirect
Feb 2, 2026
Merged

Make redirecting obsolete terms optional#205
mbklein merged 2 commits intomainfrom
no-auto-redirect

Commits

Commits on Feb 2, 2026