Merge branch 'dev' into 'master'

Finishing views

See merge request !8
7 jobs for master in 3 minutes and 29 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #13324
distcheck-build-linux-gcc-debug

00:00:34

passed #13323
distcheck-build-linux-gcc-release

00:00:48

 
  Doc
passed #13325
doc-sphinx

00:01:05

 
  Package
passed #13327
distcheck-package-linux-gcc-debug

00:00:57

passed #13326
distcheck-package-linux-gcc-release

00:01:02

 
  Deploy
passed #13328
pages

00:00:32

passed pages:deploy

00:00:00