pull/7617/merge
Mr Dk. 2025-06-21 08:55:20 +00:00 committed by GitHub
commit 6b6fd438cb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -2439,7 +2439,7 @@ RegisterCitusConfigVariables(void)
NULL,
&SkipAdvisoryLockPermissionChecks,
false,
GUC_SUPERUSER_ONLY,
PGC_SUSET,
GUC_NO_SHOW_ALL | GUC_NOT_IN_SAMPLE,
NULL, NULL, NULL);