Hello ,
The patch is pretty trivial.
-- Best regards, Dmitry mailto:pgsql-hackers(at)dima(dot)nikitin(dot)name