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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
