-------------- Thanks for your Pull Request! :) This repo on GitHub is just a mirror of our real git repository (which lives on git.postgresql.org) though, and can't really handle PRs. :(
If you'd like to see this change in PostgreSQL, please check out our developer guide, here: