Re: [GiNaC-devel] (git) spurious merges