diff options
author | Michael Paquier | 2019-08-13 04:53:41 +0000 |
---|---|---|
committer | Michael Paquier | 2019-08-13 04:53:41 +0000 |
commit | 66bde49d96a9ddacc49dcbdf1b47b5bd6e31ead5 (patch) | |
tree | 638a0aacba92dab819aa9add708297202211c4aa /src/backend/utils/misc | |
parent | 2d7d67cc74d0f59e76464bd5009bc74f1591018e (diff) |
Fix inconsistencies and typos in the tree, take 10
This addresses some issues with unnecessary code comments, fixes various
typos in docs and comments, and removes some orphaned structures and
definitions.
Author: Alexander Lakhin
Discussion: https://postgr.es/m/9aabc775-5494-b372-8bcb-4dfc0bd37c68@gmail.com
Diffstat (limited to 'src/backend/utils/misc')
-rwxr-xr-x | src/backend/utils/misc/check_guc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/utils/misc/check_guc b/src/backend/utils/misc/check_guc index d228bbed685..416a0875b6c 100755 --- a/src/backend/utils/misc/check_guc +++ b/src/backend/utils/misc/check_guc @@ -18,7 +18,7 @@ ## can be ignored INTENTIONALLY_NOT_INCLUDED="debug_deadlocks \ is_superuser lc_collate lc_ctype lc_messages lc_monetary lc_numeric lc_time \ -pre_auth_delay role seed server_encoding server_version server_version_int \ +pre_auth_delay role seed server_encoding server_version server_version_num \ session_authorization trace_lock_oidmin trace_lock_table trace_locks trace_lwlocks \ trace_notify trace_userlocks transaction_isolation transaction_read_only \ zero_damaged_pages" |