Merge branch 'master' of git.kpi.fei.tuke.sk:ps788dh/ATvI_uppermost

1 job for master in 1 minute and 13 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build Docker
passed build:docker #4481

00:01:13