Master branche please :)
On December 18, 2018 5:32:58 PM EST, Pierre Courtieu <pierre.court...@cnam.fr> wrote: > Your "I think it is ok" is enough for me :-) > P. > > Le mar. 18 déc. 2018 à 20:19, Stefan Monnier > <monn...@iro.umontreal.ca> a écrit : > > > > > Cool! Should we think about putting this in a dev branch or do you > > > feel confident enough to let it go to master directly? People seem > to > > > sync with master quite often. > > > > I don't think it's much more risky than the previous botched cl -> > > cl-lib conversion: there's very little new code, it's a refactoring > that > > moves code around more than anything. > > And I'll be happy to try and fix any potential regression. > > > > But I don't think it should be my call, so let's see what others > think, > > > > > > Stefan "generally quite confident that his code is bug-free, > > despite years of evidence to the contrary" _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
