Merge branch 'test'
authorMartin Kudlacek <kudlacek@unipi.technology>
Mon, 4 Jan 2021 15:50:43 +0000 (16:50 +0100)
committerMartin Kudlacek <kudlacek@unipi.technology>
Mon, 4 Jan 2021 15:50:43 +0000 (16:50 +0100)

Trivial merge