[GiNaC-devel] Re: Branch or HEAD?