Merge branch 'dev' into 'master'

Freeze 0.0.1 version in master branch

See merge request !96
6 jobs for 0.0.1 in 5 minutes and 23 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #90098
build-doc-images

00:00:54

 
  Test
passed #90102
distcheck-linux-clang-debug

00:01:58

passed #90100
distcheck-linux-clang-release

00:03:01

passed #90101
distcheck-linux-gcc-debug

00:03:26

passed #90099
distcheck-linux-gcc-release

00:03:58

passed #90103
documentation

00:00:53