Sources was down earlier today but it's up now and `pull -n' and
`9fs sources' from outside work for me.  If you're still having
trouble, mail me the details.

Reply via email to