# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 908637989 0
# Node ID 8256c4d22113fd5718b7b03842e5603dc267f1b5
# Parent  efd4275c55d4186dc478421fa2eee363adcfdc4a
(whois-server-list): Fix customization type.

diff -r efd4275c55d4 -r 8256c4d22113 lisp/net-utils.el
--- a/lisp/net-utils.el	Sat Oct 17 15:25:27 1998 +0000
+++ b/lisp/net-utils.el	Sat Oct 17 15:26:29 1998 +0000
@@ -597,7 +597,7 @@
     ("whois.ripe.net"))
   "A list of whois servers that can be queried."
   :group 'net-utils
-  :type '(repeat (list)))
+  :type '(repeat (list string)))
 
 (defcustom whois-server-tld
   '(("rs.internic.net" . "com")