Hi,

On Thu, Jul 17, 2025 at 02:25:46PM +0000, Bertrand Drouvot wrote:
> Hi,
> 
> On Thu, Jul 17, 2025 at 09:50:12AM +0900, Michael Paquier wrote:
> > On Wed, Jul 16, 2025 at 11:41:09AM +0000, Bertrand Drouvot wrote:
> > 
> > > As a way to prevent this to occur we might want to add extra input file(s)
> > > parameter to generate-wait_event_types.pl (as proposed in [1]).
> > > 
> > > [1]: 
> > > https://www.postgresql.org/message-id/flat/aDQdDhcwMHjZRhSV%40ip-10-97-1-34.eu-west-3.compute.internal
> > 
> > That's the second issue so far, so we had better do so.
> 
> Yeah, I'll look at it.

Done in [1].

[1]: 
https://www.postgresql.org/message-id/aHpOgwuFQfcFMZ/B%40ip-10-97-1-34.eu-west-3.compute.internal

Regards,

-- 
Bertrand Drouvot
PostgreSQL Contributors Team
RDS Open Source Databases
Amazon Web Services: https://aws.amazon.com


Reply via email to