Re: [GiNaC-devel] Master head broken? -- No.