Merge branch 'test'
authorMartin Kudlacek <kudlacek@unipi.technology>
Fri, 5 Jun 2020 14:43:34 +0000 (16:43 +0200)
committerMartin Kudlacek <kudlacek@unipi.technology>
Fri, 5 Jun 2020 14:43:34 +0000 (16:43 +0200)

Trivial merge