Charles,
Just FYI, on these lists, we'd prefer it if you wouldn't top-post.
* Charles Clavadetscher (clavadetscher@swisspug.org) wrote:
> Yes, of course. I will take care of that and send a new patch.
Thanks!
> Who will then git push it?
I'd be happy to take care of it, though any of the committers may pick
it up, of course. If there's a concern about the patch being missed or
forgotten then it can be added to the commitfest system (here:
http://commitfest.postgresql.org). I don't believe there's a risk of
that here, but you're welcome to add it if you'd like, of course.
> Thank you for your feedback.
Thank you for working on this!
Stephen