Re: [patch] bug 3817: change tracking and pdflatex: color of last changed text persists with subsequent normal text

[José Matos]

On Thursday 07 June 2007 18:56:46 Jürgen Spitzmüller wrote:
> As discussed.
>
> OK?

  Yep.

> Jürgen

-- 
José Abílio