mirror of
https://github.com/postgres/postgres.git
synced 2026-03-09 17:50:43 -04: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 | ||