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
