The packaging is correct, this is a bug in update-manager or apt, it might be the same as bug 1990684.
The packaging is correct, this is a bug in update-manager or apt, it might be the same as bug 1990684.