On Fri, Jul 18, 2025 at 4:31 PM Jacob Champion
<jacob.champion@enterprisedb.com> wrote:
> Your earlier mail made me worried I'd missed something, but is the
> attached diff what Andres was asking for? A `ninja clean; ninja
> install-quiet` now works for me with this applied.
Ping. I'll plan to commit this by the beta3 cutoff but it'd be nice to
verify that I'm not missing something obvious. :D
--Jacob