Re: A better alternative to having builds of main-armv7-default fully disabled and last-built be months out of date

From: Robert Clausecker <fuz_at_fuz.su>
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