On Wed, Oct 25, 2017 at 10:03 PM, Michael Paquier
<michael(dot)paquier(at)gmail(dot)com> wrote:
> This sentence is actually wrong, a feedback message is never sent with
> the feedback message.
Eh?
I think this looks basically fine, though I'd omit the short option
for it. There are only so many letters in the alphabet, so let's not
use them up for developer-convenience options.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company