[GiNaC-list] Re: [GiNaC-devel] GiNaC 1.8.10 released