On 15/12/2018 20.06, Stefan Monnier wrote: > Hopefully, the one below will go through better.
Indeed, this one applied smoothly. 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
