On 02/28/2013 04:18 AM, David Holmes wrote: > Anyway this is on Dmitry's to-do list. Well, it's much more urgent for others. Does this mean that you will refuse a patch from anyone else that fixes his bug? Andrew.