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 Name Job ID Coverage
  Build
passed build-doc-images #90098

00:00:54

 
  Test
passed distcheck-linux-clang-debug #90102

00:01:58

passed distcheck-linux-clang-release #90100

00:03:01

passed distcheck-linux-gcc-debug #90101

00:03:26

passed distcheck-linux-gcc-release #90099

00:03:58

passed documentation #90103

00:00:53