Merge branch 'releases/0.2' into 'master'

Releases/0.2

See merge request !1
4 jobs for v0.2 in 32 minutes and 15 seconds (queued for 17 minutes and 5 seconds)
latest
Status Job ID Name Coverage
  Test
passed #8873
debian:10 clang-6-libcpp-17

00:26:08

passed #8872
debian:10 gcc-8-17

00:18:59

passed #8874
debian:9 gcc-6-14

00:18:31

passed #8875
ubuntu:18.04 clang-6-17

00:23:18