Merge branch 'debian-buster-is-not-yet-supported' into 'devel_13.1.x'

on new debian:buster installation doesn't work

See merge request !867
20 jobs for devel_13.1.x in 6 minutes and 9 seconds (queued for 1 second)