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 10 minutes and 53 seconds (queued for 4 minutes and 19 seconds)