mirror of https://github.com/postgres/postgres
Bump PGSTAT_FILE_FORMAT_ID, omitted in 8aaa04b32d
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.pull/137/head
parent
8aaa04b32d
commit
f95c1cd6b2
Loading…
Reference in new issue