Hm, I would call it half-fixed. While doing a dist-upgrade does not reset it, its at least reset now when doing another apt-get update after upgrading.
Hm, I would call it half-fixed. While doing a dist-upgrade does not reset it, its at least reset now when doing another apt-get update after upgrading.