Skip to content

Rename "finished" CfP state to "finalised"#1358

Merged
russss merged 3 commits intomainfrom finalised-not-finishedFeb 4, 2024

Commits

Commits on Feb 4, 2024