> On Tue, 17 Jan 2023 08:00:00 -0800 =?UTF-8?B?T3R0byBLZWvDpGzDpGluZW4=?= > <o...@debian.org> wrote: > > This severity 'serious' bug should prevent the migration > > automatically. Close this bug when migration is free to proceed. > > I believe this has happened now. Do you think it should solve that issue > I was seeing?
Potentially, but I need more info. This mysql-defaults definitely needs to migrate for the full repository view to be correct/complete. I was planning to do it 1-2 days after mariadb has migrated.