help-debbugs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH 03/12] Fix description in docstring for debbugs-ports.


From: Felix Lechner
Subject: [PATCH 03/12] Fix description in docstring for debbugs-ports.
Date: Sun, 10 Mar 2024 12:00:40 -0700

---
 debbugs.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debbugs.el b/debbugs.el
index 0b7429c8f9..3d96d25791 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?
-- 
2.41.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]