build-debian-toolbox: Avoid deb.debian.org
authorMartin Pitt <martin@piware.de>
Sun, 26 Apr 2020 16:30:48 +0000 (18:30 +0200)
committerMartin Pitt <martin@piware.de>
Sun, 26 Apr 2020 16:30:48 +0000 (18:30 +0200)
commit67fe3081fb8bb929ce5c9927286f23eb1fd0099e
treeedbebdcfc3344c232b2aaf16e44f989f54fb2973
parent90b78c6e95b328c41310182948383c0efffd2836
build-debian-toolbox: Avoid deb.debian.org

It often gets the wrong mirror with my company VPN.
build-debian-toolbox