Skip to content

Show member status (active/emeritus) and active years#42

Merged
Mariatta merged 4 commits into
mainfrom
add-guido-emeritus
Jun 15, 2026
Merged

Show member status (active/emeritus) and active years#42
Mariatta merged 4 commits into
mainfrom
add-guido-emeritus

Commits

Commits on Jun 12, 2026

Commits on Jun 15, 2026