Hi pg-devel, What's the policy regarding closing tickets on the tracker? If I come across an outdated ticket, do I close it with an explanation message? Or do only committers close tickets?
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