CVS server down

• Subject: CVS server down
• From: Jaime Villate
• Date: Wed, 31 Mar 2010 21:53:57 +0200

Hello,
The CVS server is down again and I still have to commit some changes to
fix a bug and updates to the manual. Could Robert please wait some more
time before the freeze for release 5.21?
Cheers,
Jaime

• Prev by Date: Bug report ID:635627 - subst([...] is order-dependent
• Next by Date: ?add(0.0,1/10) is wrong
• Previous by thread: cvs maxima + gcl
• Next by thread: CVS server down
• Index(es):
  • Date
  • Thread