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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
