control: severity -1 important Hi,
I see 2 problems: 1. wget chokes when $HOME is not writable (New feature of them.) 2. pdf generation chokes while building with new texlive. texlive-binaries amd64 2017.20170613.44572-3 [8082 kB] For texlive bugs related to the pdf generation, seriously it is almost inevitable at this time :-) Its tex and it is always like this for last several releases. If it persists, I will simply kill build for PDF when it becomes close to freeze. Thanks for reminding me for this. For this I will probably wait for a while so I lowered the severity. For wget, its their new "feature" for them I guess. But I think it is their bug. I will discuss with them. Osamu