mirror of
https://github.com/postgres/postgres.git
synced 2026-07-04 23:35:51 -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 | ||