Re: [GiNaC-devel] Branch or HEAD?