BGehrels
released this
18 Oct 15:50
·
22 commits
to master
since this release
Bugfix:
- Two Votes with different preferences were wrongly considered equal, if exactly the same candidates appeared in the preference, just in a different order