On 12/21/18, 10:51 AM, "Robert Haas" <robertmh...@gmail.com> wrote: > On Thu, Dec 20, 2018 at 11:48 AM Bossart, Nathan <bossa...@amazon.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
