10 Dec
2010
10 Dec
'10
6:26 p.m.
Hi again, On Fri, Dec 10, 2010 at 03:25:16PM +0100, Jens Vollinga wrote:
But probably we should announce this policy change somehow. I could do this in the next release announcement email.
I think it's a good idea.
Now, technically, do you merge and we (richy or myself) pull, or should we merge, or ... ? Who is leading the revolution?
Please pull from git://github.com/AlexeiSheplyakov/GiNaC.tmp.git master ... and wait for more pull requests :) Best regards, Alexei