Skip to content

feat: backport https://github.com/dedis/d-voting/pull/373#21

Closed
PascalinDe wants to merge 1 commit intomainfrom backport-typo-fix
+2-2

Commits

Commits on Oct 4, 2023