From a44d96add2eb377ab70055a54b713c5c78380383 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Mon, 10 Jul 2023 12:05:32 +0200 Subject: [PATCH] Fix pgindent for commit e53a611523 --- src/backend/tcop/utility.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.",