tree 1246b2772b8edcdc8a62e21dd68aff62ae181077
parent 403f66aede2c9c7cf3463f8dd6032cee7d921bb1
author Davyd McColl <davydm@gmail.com> 1710504001 +0200
committer Davyd McColl <davydm@gmail.com> 1710504001 +0200

:poop: work around default-tools-installer hanging on one download

(internet here is rubbish right now)