Hi,
a few days a ago I prepared a new version of hol-light, but it is
still sitting on my hard disk, because I cannot push to
git.debian.org:
wallace hol-light 5> ssh git.debian.org
ssh: connect to host git.debian.org port 22: No route to host
Am I the only one with this problem?
Bye,
Hendrik