Skip to content

Rename tag types according to P4154#94

Merged
dietmarkuehl merged 2 commits intobemanproject:mainfrom
m-fila:rename_tag_types
May 4, 2026
Merged

Rename tag types according to P4154#94
dietmarkuehl merged 2 commits intobemanproject:mainfrom
m-fila:rename_tag_types

Commits

Commits on May 4, 2026