mirror of
https://git.postgresql.org/git/postgresql.git
synced 2025-02-05 19:09:58 +08:00
Spotted by Coverity. This isn't likely to matter in practice, but there's no harm in fixing it. Michael Paquier |
||
---|---|---|
.. | ||
.gitignore | ||
Makefile | ||
vacuumlo.c |