On Sun, 31 Aug 2025 at 13:04, Richard Guo <[email protected]> wrote:
>
> On Sun, Aug 31, 2025 at 9:50 AM Alexander Korotkov <[email protected]> 
> wrote:
> > On Sun, Aug 31, 2025 at 2:51 AM Richard Guo <[email protected]> wrote:
> > > I think it's better to push this patch sooner rather than later, as
> > > multiple people have encountered the issue in different ways.  I'll go
> > > ahead and push 0001 from my patch set shortly.
>
> > I see.  You're much farther than I'm.  Please, go ahead pushing this.
>
> Done.

Is there anything left for this thread now? There's still a CF entry
[1] for this. Can the status be updated according to the current
situation? I see the CF entry's tags claim this is a "BugFix" and
"Refactoring Only". It can't be both of those. If work still needs to
be done here, can the tags also be fixed?

David

[1] https://commitfest.postgresql.org/patch/5943/


Reply via email to