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.
