Re: [GiNaC-devel] Re: Branch or HEAD?