Re: [GiNaC-devel] Upcoming GiNaC release