Hi, Ingo Juergensmann wrote: > I think Matthias Urlichs will take appropriate action to this.
Somebody else apparently already has. (I read the mailing lists only sporadically; if you want something from me, please email me directly.) I still think it's a bug to die when building just because $HOME doesn't exist, though. -- Matthias Urlichs
