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 Name Job ID Coverage
  Build
passed build #37255

00:02:03

 
  Deploy
passed deploy #37256
manual

00:04:57