On Tue, Apr 12, 2005 at 07:04:37PM +0200, Luca Furini wrote:
> Jeremias Maerki wrote:
> By the way, it seems that you forgot to commit some changes to
> KnuthPossPosIter.

With Jeremias being away for the week, I committed a quick fix. I hope
it works as intended.

Regards, Simon

Simon Pepping
home page: http://www.leverkruid.nl

Reply via email to