Re: [GiNaC-devel] GiNaC release 1.4.0