path: root/doc
diff options
Diffstat (limited to 'doc')
1 files changed, 1 insertions, 1 deletions
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
if one endpoint for that server is dead, but continue using the same
JID. For example, a user could configure the server
“”, set “” 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 “” breaks for some
reason, it can be changed to “” instead, and the user
would not need to change all their bookmarks and settings.