Hi, how can I add my email address (which is different from coquser) to an existing bug report? Having to click all issues, only for checking if somebody has answered, is really not acceptable.
Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel