diff options
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 |