[GiNaC-devel] versions and branches
alexei.sheplyakov at gmail.com
Fri Dec 10 18:26:30 CET 2010
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
... and wait for more pull requests :)
More information about the GiNaC-devel