News for hackers. Stuff that matters.

A comment on TeX Live 2019. Parent comment

Re:TeX Live 2019 by jfk13 on Tuesday April 30, 2019 @08:05AM (#19787142)
He's Patrick, not Philip.
[ Parent | on HN ]
Re:TeX Live 2019 by benschulz on Tuesday April 30, 2019 @10:05AM (#19788010)
Woups. Thanks for the correction. I think it's too late to edit my original post. :/
[ Parent | on HN ]