Gitlab migration complete. If you have any issue please read the FAQ.

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !4
5 jobs for v0.0.2 in 51 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Assets
passed #99744
latex
bib

00:00:13

passed #99743
latex
plots

00:00:13

 
  Paper
passed #99745
latex
paper

00:00:14

 
  Publish
passed #99746
latex
pages

00:00:13

 
  Deploy
passed pages:deploy

00:00:00