Great, thanks again! Confirmed it's working with the latest
postgresql-server-dev-17.
- Andrew
On Thu, Oct 19, 2023 at 12:37 AM Christoph Berg <myon(at)debian(dot)org> wrote:
> Re: Andrew Kane
> > Great, thanks Christoph!
>
> It has already been fixed:
>
> -rw-r--r-- 1 root root 3520 Jun 30 11:39 wait_event.h
> -rw-r--r-- 1 root root 6281 Jun 30 11:39 wait_event_types.h
>
> Christoph
>