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