I guess this bug could be closed, as aptcc (default backend) has the same resolution code as apt-get.
I guess this bug could be closed, as aptcc (default backend) has the same resolution code as apt-get.