[GiNaC-devel] Releasing?