Add newline at the end of header generated by generate-wait_event_types.pl
commitcf05113eb0da0b65fdeaf79db0c6c27b82d3c869
authorMichael Paquier <michael@paquier.xyz>
Thu, 6 Jul 2023 04:35:50 +0000 (6 13:35 +0900)
committerMichael Paquier <michael@paquier.xyz>
Thu, 6 Jul 2023 04:35:50 +0000 (6 13:35 +0900)
tree397c8defb3b1d7c913a07e10f2761e330ae69ee2
parentcc32ec24fdf3b9808617439d41b0ba7f3eb16b04
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.
src/backend/utils/activity/generate-wait_event_types.pl