Ihor Radchenko <[email protected]> writes: > Jack Kamm <[email protected]> writes: > >> Attached is the (I think) final version of the patch. I'll install it >> soon, unless I hear otherwise. > > I have no further comments. Thanks!
Resolved (for our bug tracker). -- Bastien
