On Mon, May 2, 2011 at 7:32 AM, Pieter Praet <[email protected]> wrote: > On Mon, 02 May 2011 00:21:26 +0300, Hannu Koivisto <[email protected]> wrote: >> Pieter Praet <[email protected]> >> writes: >> >> > This should have been fixed in 74e40248, the day after 14fdc8dc was >> > merged in. >> > >> > Since you haven't filed a bug report, I presume the issue is resolved? >> >> I don't file bug reports, I fix bugs, [...] > > I sincerely applaud your way of thinking!
Depends on the bug, really. There's a problem on Windows that I'm aware of, which I meant to look into, but since I don't run into it often it's slipped my mind. It would have been better to keep it in the bug tracker on the website instead of the one in my head. :-/ -PJ
