Merge branch 'issue_172' into 'master'

#172

See merge request !155
2 jobs for 1.12.3 in 7 minutes (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #37255
build

00:02:03

 
  Deploy
passed #37256
allowed to fail manual
deploy

00:04:57