Merge branch 'patch-1' into 'devel_13.1.x'

timestamp fixed

See merge request !886
20 jobs for devel_13.1.x in 8 minutes and 33 seconds (queued for 5 minutes and 14 seconds)
Scheduled latest