Re: [GiNaC-devel] Vladimirs patch has been applied.