tis 2014-06-10 klockan 19:12 +0200 skrev Axel Beckert: > This bug has been fixed. Further discussing alternative patches seems > pointless to me unless the bug gets reopened. > > Thanks, Axel Sorry missed that it was fixed. No more from me about this bug. Thanks, David
-- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org