Merge branch 'dev' into 'prod'

Changed cran submit message

See merge request !7
1 job for prod in 2 minutes and 58 seconds
latest
Status Name Job ID Coverage
  Test
passed devtools-check #1431614082
docker

00:02:58