From 8fa050abb29b54b4a8e0286b0be859400fb963b9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?louiz=E2=80=99?= Date: Mon, 12 Mar 2018 01:12:49 +0100 Subject: [PATCH] Little doc typo --- doc/biboumi.1.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/biboumi.1.rst b/doc/biboumi.1.rst index 3cb379b..988c14c 100644 --- a/doc/biboumi.1.rst +++ b/doc/biboumi.1.rst @@ -628,7 +628,7 @@ On a server JID (e.g on the JID chat.freenode.org@biboumi.example.com) if one endpoint for that server is dead, but continue using the same JID. For example, a user could configure the server “freenode@biboumi.example.com”, set “chat.freenode.net” in its - “Address” field, and then they would be able to user “freenode” as + “Address” field, and then they would be able to use “freenode” as the network name forever: if “chat.freenode.net” breaks for some reason, it can be changed to “irc.freenode.org” instead, and the user would not need to change all their bookmarks and settings. -- 2.45.2