On Wed, Jun 17, 2026 at 03:25:41PM -0400, Tom Lane wrote:
> Fixes the build-time problem for me, thanks!

Committed.

-- 
nathan


Reply via email to