On Tuesday 10 March 2009 00:32:25 Vladimir Prus wrote: > > Also, since this is public, please give it an "mi_" prefix. > > > > I have nothing useful to say about the important part of the patch, > > though. > > OK :-) Here's a revised patch, just in case. I've checked it in. - Volodya