branch: externals/debbugs
commit c922b4837efe5f75b547b824a460af35969e3ad7
Author: Felix Lechner <felix.lech...@lease-up.com>
Commit: Michael Albinus <michael.albi...@gmx.de>
* debbugs.el (debbugs-port): Fix description in docstring for debbugs-ports.
Copyright-paperwork-exempt: yes
---
debbugs.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/debbugs.el b/debbugs.el
index f83daf7c54..eac798b334 100644
--- a/debbugs.el
+++ b/debbugs.el
@@ -82,7 +82,7 @@ servers: \"gnu.org\" and \"debian.org\"."
(string :tag "Bugreport URL")))))))
(defcustom debbugs-port "gnu.org"
- "The port instance to be applied from `debbugs-wsdl'.
+ "The port instance to be applied from `debbugs-servers'.
This corresponds to the Debbugs server to be accessed, either
\"gnu.org\", or \"debian.org\", or user defined port name."
;; Maybe we should create an own group?
