Merge branch 'dummy' into 'collabora/production'

dummy empty commit

See merge request !16
3 jobs for collabora/production in 1 minute and 4 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #90798
lightweight
build debian source

00:00:47

 
  Upload
passed #90799
lightweight
upload to obs

00:00:16

 
  Obs
failed monitor obs