Merge branch 'test'
authorMartin Kudlacek <kudlacek@unipi.technology>
Thu, 9 Sep 2021 10:35:36 +0000 (12:35 +0200)
committerMartin Kudlacek <kudlacek@unipi.technology>
Thu, 9 Sep 2021 10:35:36 +0000 (12:35 +0200)

Trivial merge