[CCing you, presumably you are not subscribed, apologies if so] On Wed, Jun 15, 2011 at 2:56 PM, Leonardo wrote: > If this is not of your concern, could you please put me in contact > with the operator of #debian? Some of them are probably reading this list, but the list of ops is documented here: http://wiki.debian.org/IRC/Operators -- bye, pabs http://wiki.debian.org/PaulWise