[GiNaC-devel] GiNaC 1.3.0

[Chris Dams]

Dear Jens,

On Mon, 25 Oct 2004, Jens Vollinga wrote:

> This patch has been overseen somehow ... Thanks! It's applied now.

Okay. thanks.

Another issue is that CVS-updating does not work at the moment.

chrisd at gamow:~/ginac> cvs update
[...snip...]
cvs server: Updating .
cvs server: failed to create lock directory for `/home/cvs/GiNaC'
(/home/cvs/GiNaC/#cvs.lock): No space left on device
cvs server: failed to obtain dir lock in repository `/home/cvs/GiNaC'
cvs [server aborted]: read lock failed - giving up

Best,
Chris