Re: A better alternative to having builds of main-armv7-default fully disabled and last-built be months out of date
Date: Mon, 15 Jul 2024 09:22:52 UTC
Hi Jonathan, Am Mon, Jul 15, 2024 at 04:32:34PM +1200 schrieb Jonathan Chen: > The big problem is that armv7 rust is not available, and approx 2000+ ports > dependent on it have been skipped. This is a bug in the rust build that I do not know how to fix. Yours, Robert Clausecker -- () ascii ribbon campaign - for an encoding-agnostic world /\ - against html email - against proprietary attachments