Hello,
I have created a patch for the issue I raised earlier:
https://redmine.postgresql.org/issues/6270
I apologise I have never sent git patches before, and I could not find any
specific documentation of how you expect to receive contributions.
Regards
Alessandro
--
Alessandro De Maria
alessandro(dot)demaria(at)gmail(dot)com