On 12/21/18, 10:51 AM, "Robert Haas" <robertmhaas(at)gmail(dot)com> wrote:
> On Thu, Dec 20, 2018 at 11:48 AM Bossart, Nathan <bossartn(at)amazon(dot)com> wrote:
>> Either way, we'll still have to decide whether to fail or to silently
>> skip the option if you do something like specify --min-mxid-age for a
>> 9.4 server.
>
> +1 for fail.
Sounds good. I'll keep all the version checks and will fail for
unsupported options in the next patch set.
Nathan