On Thu, Jan 10, 2019 at 10:38:15PM +0100, Matthias Kilian wrote: > 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)
Both did build fine on amd64, pkg_add -u did work without any problems. I didn't do any runtime tests, but I think it's ok to commit them. Ciao, Kili