Can we please change the comment lines below the patch heading to have the real name instead of the postgresql.org ID?
Patch by Pavel Stehule Patch by Gurjeet Singh instead of Patch by okbobcz Patch by singh.gurjeet https://commitfest.postgresql.org/action/commitfest_view?id=8 Thanks, -- gurjeet.singh @ EnterpriseDB - The Enterprise Postgres Company http://www.EnterpriseDB.com singh.gurj...@{ gmail | yahoo }.com Twitter/Skype: singh_gurjeet Mail sent from my BlackLaptop device