Emanuel Schütze b6ebc78e85 Merge pull request #3682 from FinnStutzenstein/voting-plugin ... Changes for the voting plugin		2018-04-13 15:11:48 +02:00
..
assignments	Merge pull request #3682 from FinnStutzenstein/voting-plugin	2018-04-13 15:11:48 +02:00