Merge branch 'slightly_reducing_committment' into 'master'

Slightly reducing Bernhard's committment

See merge request !6
1 job for 3-updating-committed-resources in 14 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #2248
asciidoc
html

00:00:14