Re: [PATCH] Support % wildcard in extension upgrade filenames

> On 1 Aug 2023, at 20:45, Robert Haas <robertmhaas@gmail.com> wrote:
>
> On Tue, Aug 1, 2023 at 2:24 PM Daniel Gustafsson <daniel@yesql.se> wrote:
>> returned with feedback.  Please feel free to resubmit to a future CF when there
>> is a new version of the patch.
>
> Isn't the real problem here that there's no consensus on what to do?

I don't disagree with that, but there is nothing preventing that discussion to
continue here or on other threads.  The fact that consensus is that far away
and no patch that applies exist seems to me to indicate that a new CF entry is
a better option than pushing forward.

--
Daniel Gustafsson