diff options
| author | David Aspinall | 2004-02-07 19:12:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-07 19:12:44 +0000 |
| commit | 7c88b8c4d9fc8736bd6ee7db551238ec1f4cd2b9 (patch) | |
| tree | dbbf08505f32abfb003e6b8a099043e45df6cfaf /generic/proof-utils.el | |
| parent | d024ffa2dd8c85a9fd0a997b57b026a639248b72 (diff) | |
Remove more proofgeneral.org mail aliases
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 61e3d040..82c8c927 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -681,7 +681,7 @@ or if the window is the only window of its frame." ((reporter-prompt-for-summary-p "(Very) brief summary of problem or suggestion: ")) (reporter-submit-bug-report - "bugs@proofgeneral.org" + "da+pg-bugs@inf.ed.ac.uk" "Proof General" (list 'proof-general-version 'proof-assistant) nil nil |