Re: [GiNaC-devel] Patch multiple zeta values