Merge branch 'master' of gitlab.mpcdf.mpg.de:nomad-lab/encyclopedia-gui

1 job for master in 5 seconds (queued for 25 seconds)
Status Name Job ID Coverage
  Deployment Staging
passed Staging #774411
manual

00:00:05