Re: [GiNaC-devel] setting up public git repository