According to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1121158#15 this is a bug in src:mariadb debian/control, but also that apt was previously handling this "bug" automatically, and might start handling it again. So perhaps let this be for a while and return back in 2-3 months to check if packaging changes are really required.
