Merge branch 'it4i-anselm'

This commit is contained in:
Lukáš Krupčík 2017-07-04 12:00:47 +02:00
commit e479802ba9