[GiNaC-devel] git updated on server