Hi Hugh,
paste.debian.net/739188
Great. It is usually best to reply directly ("post a comment") in the
ticket, but no problem this time that you already did so separately.
I noticed you (presumably you) have several accounts on savannah. Which
one(s) are active? For when we enable you as an admin ...
Thanks for all,
Karl
