Re: [patch] more PosIterator

[Alfredo Braunstein]

Kornel Benko wrote:

> Undo. I expected the box to disappear. And it is current cvs as of 13:00
> today + search3.diff

It is already in current cvs (i.e. not related to search3.diff).

Alfredo