jenkins.debian.net packaging ---------------------------- This has just begun and is not done properly yet. -- Holger Levsen Mon, 17 Dec 2012 14:22:51 +0100