On Mon, Apr 13, 2020 at 8:23 PM Michael Paquier <mich...@paquier.xyz> wrote: > On Mon, Apr 13, 2020 at 07:55:07PM -0400, Robert Haas wrote: > > Oh, hmm. Maybe I'm getting confused with a previous version of the > > patch that behaved differently. > > No problem. If you prefer keeping this part of the code, that's fine > by me. If you think that the patch is suited as-is, including > silencing the error forcing to use --no-manifest on server versions > older than v13, I am fine to help out and apply it myself, but I am > also fine if you wish to take care of it by yourself.
Feel free to go ahead. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
