[GiNaC-devel] CLN 1.1.12 released