Emanuel Schütze 407b640f80 Merge pull request #3740 from FinnStutzenstein/voting-plugin ... Changes for the voting plugin and usability improvements		2018-05-29 15:02:37 +02:00
..
assignments	Merge pull request #3740 from FinnStutzenstein/voting-plugin	2018-05-29 15:02:37 +02:00