From f4be64f3e2a8c67b0229b5679b76068d8c3e3be6 Mon Sep 17 00:00:00 2001
From: Alexander Peshkov <peshkoff@mail.ru>
Date: Mon, 28 Mar 2016 12:05:01 +0300
Subject: [PATCH] -m

---
 doc/sql.extensions/README.user_management | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sql.extensions/README.user_management b/doc/sql.extensions/README.user_management
index 37b8f16389..0a661d5d2a 100644
--- a/doc/sql.extensions/README.user_management
+++ b/doc/sql.extensions/README.user_management
@@ -15,7 +15,7 @@ Syntax is:
    CREATE OR ALTER USER name [ SET ] [ options ] [ TAGS ( tag [, tag [, tag ...]] ) ]
    DROP USER name [ USING PLUGIN name ];
 
-where OPTIONS is a (probably empty) list of following options:
+where OPTIONS is a list of following options:
 - PASSWORD 'password'
 - FIRSTNAME 'firstname'
 - MIDDLENAME 'middlename'