mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-12-15 08:20:16 +08: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 |