On Wed, Jan 01, 2025 at 01:28:26PM -0500, Jeff King wrote: > On Mon, Dec 30, 2024 at 08:03:38AM +0100, Patrick Steinhardt wrote: > > Okay. The Meson equivalent would be: > > [...] > > Yeah, I figured it would need something similar (but for our CI it does > not yet matter). Do you want to prepare that as a patch on top? (Though > also see the message I'm about to send that we might be able to avoid > this series entirely!). Looks like your version was reverted in favor of the new version you have sent. So I'll refrain from doing that :) Patrick