Opps, wrong one - this one https://github.com/MariaDB/server/pull/3039
On Mon, 12 Feb 2024 at 10:10, Daniel Black <dan...@mariadb.org> wrote: > > Fixed by https://github.com/MariaDB/server/pull/3002 which didn't make > the release unfortunately. > > On Mon, 12 Feb 2024 at 09:43, Otto Kekäläinen <o...@debian.org> wrote: > > > > Version: 1:10.11.7-1 > > > > I confirm this was fixed in latest upload MariaDB 1:10.11.7-1, which > > included > > https://salsa.debian.org/mariadb-team/mariadb-server/-/merge_requests/66 > > > > Unfortunately there seems to be more failures now that build is > > passing on this one, see > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1063739.