diff options
| author | Andres Freund | 2023-03-31 02:44:40 +0000 |
|---|---|---|
| committer | Andres Freund | 2023-03-31 02:48:01 +0000 |
| commit | f95c1cd6b2fd7d70e219ea8c5fabf2c0a75d7705 (patch) | |
| tree | 07227b0dc8114d726fc44e99e79a4d0bf0ebe42b /src/common/jsonapi.c | |
| parent | 8aaa04b32d790da595684de58ae4fc2db96becff (diff) | |
Bump PGSTAT_FILE_FORMAT_ID, omitted in 8aaa04b32d7
I forgot to do so in the referenced commit. While the consequences of omitting
the version change are likely to be harmless (besides discarding stats, as a
PGSTAT_FILE_FORMAT_ID bump also does), it still seems worth doing.
Diffstat (limited to 'src/common/jsonapi.c')
0 files changed, 0 insertions, 0 deletions