mirror of https://github.com/postgres/postgres
Spotted by Coverity. This isn't likely to matter in practice, but there's no harm in fixing it. Michael Paquierpull/14/head
parent
59f71a0d0b
commit
4a0a5f21fa
Loading…
Reference in new issue