On Thu, May 1, 2025 at 12:24 PM Jacob Champion
<jacob.champ...@enterprisedb.com> wrote:
> I'm running the attached fixup through CI now.

(Pushed, and indri is happy again.)

--Jacob


Reply via email to