Merge branch 'master' of gitlab.gwdg.de:irp/fresnel

5 jobs for master in 59 seconds
Status Name Job ID Coverage
  Lint
passed black #601533

00:00:17

passed cpplint #601534

00:00:14

passed flake8 #601532

00:00:27

 
  Deploy
passed pages #601535

00:00:31

passed pages:deploy

00:00:01