On Wed, Apr 12, 2023 at 3:06 PM Samuel Thibault <samuel.thiba...@gnu.org> wrote: > > Sergey Bugaev, le mer. 12 avril 2023 14:39:55 +0300, a ecrit: > > Samuel, could you please either push this MIG change to Debian, > > Isn't it there already with version 1.8+git20221221-3?
Aha! Apparently yes, thank you. apt didn't install that update because... it didn't even see/recognize that I have the mig package installed, for some reason. This must be another case of the dpkg database getting out of sync with reality in the face of fs corruption. Sergey
