On 11/12/2018 16.26, Stefan Monnier wrote: > Is there something else I need to do for this patch to be installed
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? Clément.
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
