docs: Add command tags for SQL commands Commit 6c3ffd6 added a couple new predefined roles but didn't properly wrap the SQL commands mentioned in the description of those roles with command tags, so add them now.
Backpatch-through: 14 Reported-by: Michael Banck Discussion: https://postgr.es/m/[email protected] Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/f01727290fe0c7fdf7bb5a0c2526a15db8c2c52f Modified Files -------------- doc/src/sgml/user-manag.sgml | 25 +++++++++++++------------ 1 file changed, 13 insertions(+), 12 deletions(-)
