Delete duplicate server names when getting credentials.
authorLars Ingebrigtsen <larsi@gnus.org>
Thu, 17 Feb 2011 23:00:43 +0000 (15:00 -0800)
committerLars Ingebrigtsen <larsi@gnus.org>
Thu, 17 Feb 2011 23:00:43 +0000 (15:00 -0800)
commita0faaaf767280ba530f2c5c76fd25087581f62b8
treeef0d63bad120d997f7e0b4a4a14743e2b9770249
parent47e91edc48785d0db45fd552e17a0a7a19a4e962
Delete duplicate server names when getting credentials.
lisp/ChangeLog
lisp/gnus-util.el
lisp/nnimap.el