On Tue, Dec 29, 2015 at 6:47 PM, Holger Wansing wrote: > I cannot reach the git repo at the moment, seems somewhat down? https://lists.debian.org/debian-infrastructure-announce/2015/12/msg00000.html -- bye, pabs https://wiki.debian.org/PaulWise