sperber(a)informatik.uni-tuebingen.de (Michael Sperber [Mr. Preprocessor]) wrote:
 This is apparently a server-side problem.  The out-of-memory
problems
 are also still around.  I see it happen only with ssh.  :pserver:
 works better. 
        Hmmm. I indeed used :ext: with my own account to perform the checkout.
-- 
Didier Verna, didier(a)lrde.epita.fr, 
http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire   Tel.+33 (1) 53 14 59 47
94276 Le Kremlin-BicĂȘtre, France   Fax.+33 (1) 44 08 01 99   didier(a)xemacs.org