On 12/12/2018 15.27, Stefan Monnier wrote: >>>> I'm happy to push it for you. Would you mind sending a copy as a `git >>>> format-patch` attachment, so that the commit is properly attributed? >>> Here it is, >> Pushed, thanks. Looking forward to more neat patches :) > > Here's the next one.
Pushed as well. Thanks!
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
