On 11/12/2018 18.52, 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 :)
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
