ok. definitely an update-manager bug, then - though update-manager-core is priority: standard, so isn't normally something we would expect users to remove. Marking as low priority.
ok. definitely an update-manager bug, then - though update-manager-core is priority: standard, so isn't normally something we would expect users to remove. Marking as low priority.