Am Donnerstag, den 05.12.2013, 07:58 +0100 schrieb Joachim Zobel: > I'll append a summary to the pu and ask for going directly to stable. See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=728906 Sincerely, Joachim