Re: Minor configure/meson cleanup

[Thomas Munro]

On Tue, Aug 8, 2023 at 12:27 AM Tristan Partin <tris...@neon.tech> wrote:
> I agree that the change look good.

Thanks both.  Pushed.