On 2014-02-01 22:07 +0100, Jakub Wilk wrote: > * Christoph Ender <christoph.en...@spellbreaker.org>, 2014-02-01, 21:47: >> I’m currently having trouble reproducing a build error – see >> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=735757 > > My guess is that the root cause is #735782.
I think you are right, I merged the two bugs. Christoph, no need for further action from your side. :-) Cheers, Sven -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/87mwiaq6x1....@turtle.gmx.de