From: Peter Eisentraut <peter@eisentraut.org>
Date: Mon, 10 Jul 2023 10:05:32 +0000 (+0200)
Subject: Fix pgindent
X-Git-Tag: REL_16_BETA3~43
X-Git-Url: http://git.postgresql.org/gitweb/?a=commitdiff_plain;h=e004cb0394402a26b7142721e59a4f8e179bd1e4;p=postgresql.git

Fix pgindent

for commit e53a611523
---

diff --git a/src/backend/tcop/utility.c b/src/backend/tcop/utility.c
index 866b294318a..e3ccf6c7f7e 100644
--- a/src/backend/tcop/utility.c
+++ b/src/backend/tcop/utility.c
@@ -950,7 +950,7 @@ standard_ProcessUtility(PlannedStmt *pstmt,
 			if (!has_privs_of_role(GetUserId(), ROLE_PG_CHECKPOINT))
 				ereport(ERROR,
 						(errcode(ERRCODE_INSUFFICIENT_PRIVILEGE),
-						 /* translator: %s is name of a SQL command, eg CHECKPOINT */
+				/* translator: %s is name of a SQL command, eg CHECKPOINT */
 						 errmsg("permission denied to execute %s command",
 								"CHECKPOINT"),
 						 errdetail("Only roles with privileges of the \"%s\" role may execute this command.",