Re: BUG #18920: LOAD '$libdir/plugins' no longer works in 18beta1

On Wed, Jun 4, 2025 at 6:42 AM Peter Eisentraut <peter@eisentraut.org> wrote:
>
> On 04.06.25 02:44, Michael Paquier wrote:
> > On Tue, Jun 03, 2025 at 09:31:17AM -0300, Matheus Alcantara wrote:
> >> I just wrote these tests to make it
> >> possible to reproduce the issue on my local machine and make the fix
> >> easier, and I just shared here so that folks can also have a way to
> >> reproduce the issue and maybe share other ideas to test this.
> >
> > +1.  These are useful to check the patch, there's no denying that.  My
> > apologies if my previous message was confusing.
>
> I have committed the patch without the additional tests, as discussed.
>

Thanks!

--
Matheus Alcantara