Re: [GiNaC-devel] unintended? abi change in ginac 1.7.3