severity 627171 important thanks Stuart Prescott <stuart+deb...@nanonanonano.net> wrote:
> Some buildds now have $HOME unset and this leads to breakages in the > compilation > of various bits of documentation on the buildd; it may be a combination of > reduced permissions on the buildd as well as $HOME being unset that causes > font selection problems. Build failures aren't just wishlist bugs. Since it's a change in the buildd's, and I don't see any policy rule that one may not rely on $HOME, I set it to important only. Regards, Frank -- Frank Küster Vorstand B90/Grüne OV Miltenberg und Umgebung VCD Miltenberg, ADFC Aschaffenburg-Miltenberg Debian Developer (TeXLive) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
