diff options
| author | Noah Misch | 2024-06-28 02:21:05 +0000 |
|---|---|---|
| committer | Noah Misch | 2024-06-28 02:21:05 +0000 |
| commit | bb93640a681c2cc709e9836e169c8f3eb556df57 (patch) | |
| tree | bdd9c37008aa9d200cfbfd264ee3b24794f5aa1a /src/tools | |
| parent | 0844b3968985447ed0a6937cfc8639e379da2fe6 (diff) | |
Add wait event type "InjectionPoint", a custom type like "Extension".
Both injection points and customization of type "Extension" are new in
v17, so this just changes a detail of an unreleased feature.
Reported by Robert Haas. Reviewed by Michael Paquier.
Discussion: https://postgr.es/m/CA+TgmobfMU5pdXP36D5iAwxV5WKE_vuDLtp_1QyH+H5jMMt21g@mail.gmail.com
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/pgindent/typedefs.list | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/pgindent/typedefs.list b/src/tools/pgindent/typedefs.list index d90982466c5..82b3b411fb5 100644 --- a/src/tools/pgindent/typedefs.list +++ b/src/tools/pgindent/typedefs.list @@ -3099,9 +3099,9 @@ WaitEvent WaitEventActivity WaitEventBufferPin WaitEventClient -WaitEventExtensionCounterData -WaitEventExtensionEntryById -WaitEventExtensionEntryByName +WaitEventCustomCounterData +WaitEventCustomEntryByInfo +WaitEventCustomEntryByName WaitEventIO WaitEventIPC WaitEventSet |