From: Peter Eisentraut <peter@eisentraut.org>
Date: Mon, 10 Jul 2023 10:05:32 +0000 (+0200)
Subject: Fix pgindent
X-Git-Url: http://git.postgresql.org/gitweb/-?a=commitdiff_plain;h=a44d96add2eb377ab70055a54b713c5c78380383;p=users%2Frhaas%2Fpostgres.git

Fix pgindent

for commit e53a611523
---

diff --git a/src/backend/tcop/utility.c b/src/backend/tcop/utility.c
index 866b294318..e3ccf6c7f7 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.",