Commit
5c0b9984b437759fea55fb9101ccde49acb27d25
by Oliver Smithjobs/gerrit: binpkgs: update debian versions
Change the default from "debian:10 debian:12" to "debian:11 debian:13",
as Debian 13 has just been released and we are about to remove Debian 10
binary packages.
Related: https://osmocom.org/news/310
Related: https://osmocom.org/news/308
Related: OS#6826
Change-Id: Ifc1d603c9e6e5054ad2f121f53ba3fb7e4d05286
![[Jenkins]](/jenkins/static/166fa6d8/images/svgs/logo.svg){kind=logo}
