1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-03 20:02:46 +03:00

Fix indentation that could mask a future bug

Michael Paquier, spotted using Coverity
This commit is contained in:
Magnus Hagander
2015-05-07 11:41:26 +02:00
parent aa7cf3eef4
commit d678bde655