mirror of
https://github.com/postgres/postgres.git
synced 2026-06-23 00:51:00 -04:00
a9fd6c3216
Along the way, also fix code indentation. Alexander Lakhin, reviewed by Michael Paquier Discussion: http://postgr.es/m/45c44aa7-7cfa-7f3b-83fd-d8300677fdda@gmail.com