[GiNaC-devel] Re: GiNaC 1.8.10 released