Hi,
Thanks for the report. I sent a patch for this on pgsql-hackers. Itcan be found athttps://www.postgresql.org/message-id/CAH5HC94%2B4teDZvuWkBiAikcK1pM2DH9W6iCNDoGpHxUdPGTNPw%40mail.gmail.com.
Please take a look.
Thanks,Nitin MotianiGoogle