On Fri, Jul 18, 2025 at 4:31 PM Jacob Champion <jacob.champ...@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
