Merge branch 'it4i-anselm'

This commit is contained in:
Lukáš Krupčík 2018-02-15 12:54:19 +01:00
commit 86d5ce37cb