25 Oct
2004
25 Oct
'04
1:28 p.m.
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@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