mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-23 20:27:19 +02: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 |