Re: Update giac-xcas

[Ricardo Wurmus]

Hi Nicolas,

> Here is an update for giac-xcas.

Thanks for the patch!  I’ve applied it and built the new version of
giac-xcas locally.  The commit has been pushed to the master branch with
hash “a2d469afaff47f2c1cd819290d9d97ab006ca423”.

Thanks again!

~~ Ricardo