Konstantin Tokarev <annulen@xxxxxxxxx> writes: > I've reported this issue in February on this very list and didn't > get any reaction from developers. Seems like it's not considered > to be a bug. Please do not read too much into lack of response. It may be caused by many things, including (certainly non-exhaustive): (1) the message may have been un-understandable and/or did not look interesting enough to ask for clarifications and more info to produce a useful response, (2) the message may have been delivered in a hostile tone that people chose to ignore even though it raised a valid issue, or (3) the message was simply missed because everybody was busy doing other things. By default, everybody should assume the last one. Re-raising the issue after some cooling-off period would be a good strategy. Thanks.