mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-10-04 22:26:54 +02:00
4a0a5f21fa
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 |