Merge branch 'dev' into 'sd'

# Conflicts:
#   DESCRIPTION: version number
3 jobs for sd in 11 minutes and 6 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #122380
build_patched

00:00:30

 
  Tests
passed #122382
check_as_cran_patched

00:01:47

passed #122381
check_not_cran_patched

00:08:48