Charles, Just FYI, on these lists, we'd prefer it if you wouldn't top-post.
* Charles Clavadetscher (clavadetsc...@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
Description: Digital signature