From: Martin Pitt <martin@piware.de>
Date: Sun, 26 Apr 2020 16:30:48 +0000 (+0200)
Subject: build-debian-toolbox: Avoid deb.debian.org
X-Git-Url: https://piware.de/gitweb/?p=bin.git;a=commitdiff_plain;h=67fe3081fb8bb929ce5c9927286f23eb1fd0099e;hp=67fe3081fb8bb929ce5c9927286f23eb1fd0099e

build-debian-toolbox: Avoid deb.debian.org

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