Merge branch 'DOS0063936' into 'master'

Dos0063936

See merge request !13
1 job for v3.1.0 in 5 seconds (queued for 49 seconds)
latest
Status Name Job ID Coverage
  Build
passed build_release #25097
build

00:00:05