Re: [GiNaC-devel] [PING] Please pull from git://ffmssmsc.jinr.ru:443/varg/ginac.git master