I have prepared and uploaded a fix for that into the disco queue. We are reverting this change as it seems to be a regression from expected behavior - even man dkms (or checking the manpage on their github upstream repo) mentions `dkms uninstall` leaving the module in the 'built' state. I suspect that for us this change should be relatively safe. But who knows.
Not sure if it'll make it for the disco release though. In case we're respinning, we'll be sure to get that in along with the other changes (after review).
I have prepared and uploaded a fix for that into the disco queue. We are reverting this change as it seems to be a regression from expected behavior - even man dkms (or checking the manpage on their github upstream repo) mentions `dkms uninstall` leaving the module in the 'built' state. I suspect that for us this change should be relatively safe. But who knows.
Not sure if it'll make it for the disco release though. In case we're respinning, we'll be sure to get that in along with the other changes (after review).
Thanks for reporting this!