Re: [GiNaC-devel] release 1.3.6