I'm sorry, the whole problem appears to have been on the server side
(all of www.gnu.org was also dead).  Fixed now, it seems.  (I have no
idea what happened.)

Sorry,
k


Reply via email to