GitLab update scheduled for Friday, October 22th between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.

Merge branch 'release-0.3.1' into 'master'

Version 0.3.1

See merge request !8
7 jobs for master in 8 minutes and 28 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Build
passed build #22357

00:01:15

 
  Test
passed test #22358

00:05:53

 
  Ragdoc Build
passed ragdoc_build #22359

00:00:22

 
  Ragdoc View
passed ragdoc_view #22360

00:02:01

 
  Publish
passed pages #22362

00:00:53

passed publish #22361

00:01:18

 
  Deploy
passed pages:deploy

00:00:01