Hi,
On Wed, Jan 09, 2019 at 04:44:25PM +0000, Edd Barrett wrote:
> On Tue, Dec 04, 2018 at 10:41:41AM +0000, Edd Barrett wrote:
> > Tested typesetting few docs too, all seems well.
>
> Ping, and and additional diff.
>
> In addition to the already posted gzipped diff to update TeX Live (which
> still applies and builds), we need to commit the following texworks diff
> at the same time.
FYI: I've thrown both diffs (texlive and texworks) into my tree for
the next bulk update. (together with some poppler fixes, but those
shouldn't affect texlive because it's still using its bundled
poppler)
Ciao,
Kili
