On Saturday, 10 January 2015 at 15:24:45 UTC, bearophile wrote: > Is the issue in Bugzilla? I don't know, bugzilla is extremely difficult to search. I guess I'll post it again and worst case it will be closed as a duplicate.