Merge branch 'fix/manuals-version-number' into 'master'

fix version numbers in manuals

See merge request !135
2 jobs for master in 1 minute and 56 seconds (queued for 13 seconds)