3 ms·

Bugs are more likely to get fixed if they are posted somewhere visible, instead of sitting in someone's inbox...