On Thu, Oct 26, 2017 at 10:46 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> 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?
"A feedback message is never sent depending on the status interval".
> 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.
No objections to that.
--
Michael