On Fri, May 12, 2017 at 10:04:26PM +0100, Edd Barrett wrote: > On Sun, May 07, 2017 at 10:45:10PM +0100, Edd Barrett wrote: > > Attached is round 3 of texlive 2016. > > OK? Pretty please? :P
OK
On Fri, May 12, 2017 at 10:04:26PM +0100, Edd Barrett wrote: > On Sun, May 07, 2017 at 10:45:10PM +0100, Edd Barrett wrote: > > Attached is round 3 of texlive 2016. > > OK? Pretty please? :P
OK