On Thu, Jun 12, 2025 at 09:21:38PM -0500, Robert Dubner wrote:
> It occurs to me that with 500 or so messages a day coming through, perhaps
> targeting individuals might be useful.
>
> Consider this somewhere between an initial message and a ping:
>
> -Original Message-
> From: Robert Dub
It occurs to me that with 500 or so messages a day coming through, perhaps
targeting individuals might be useful.
Consider this somewhere between an initial message and a ping:
-Original Message-
From: Robert Dubner
Sent: Monday, June 9, 2025 19:19
To: gcc-patches@gcc.gnu.org
Subject: [
