(note that this isn't a bug in apt whichever way, so that's probably why this bug wasn't seen by relevant developers)
(note that this isn't a bug in apt whichever way, so that's probably why this bug wasn't seen by relevant developers)