> 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
