+1 for master and same as on svn for branches Le 10 janv. 2018 00:03, "Emmanuel Bourg" <[email protected]> a écrit :
> Le 08/01/2018 à 15:33, Mark Thomas a écrit : > > > Thoughts? > > +1 for master > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
