Petr Jediný wrote:
> Comments? This is my first patch to postgresql project, so comments
> are very much welcomed.
I think it's fine, so I pushed it. Thanks.
I hope you already read this
https://wiki.postgresql.org/wiki/So,_you_want_to_be_a_developer%3F
--
Álvaro Herrera http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services