(In reply to comment #11) > but I saw a new one some month ago (can't find it now). Ah... found it, but it's about a different problem. Sorry for the false alarm.
(In reply to comment #11)
> but I saw a new one some month ago (can't find it now).
Ah... found it, but it's about a different problem. Sorry for the false alarm.