diff options
| author | Michael Paquier <michael@paquier.xyz> | 2023-07-06 13:35:50 +0900 |
|---|---|---|
| committer | Michael Paquier <michael@paquier.xyz> | 2023-07-06 13:35:50 +0900 |
| commit | cf05113eb0da0b65fdeaf79db0c6c27b82d3c869 (patch) | |
| tree | 397c8defb3b1d7c913a07e10f2761e330ae69ee2 /src/backend/utils/misc/guc_internal.h | |
| parent | cc32ec24fdf3b9808617439d41b0ba7f3eb16b04 (diff) | |
Add newline at the end of header generated by generate-wait_event_types.pl
The header file wait_event_types.h was generated without a newline at
its end, which was inconsistent with all the other things generated
automatically.
Per offline gripe from Nathan Bossart.
Diffstat (limited to 'src/backend/utils/misc/guc_internal.h')
0 files changed, 0 insertions, 0 deletions