Re: [GiNaC-devel] bugfix-only release?