Subject: Re: [bug#78518] [PATCH] algol68: rename A68C and A68CFLAGS back to A68 and A68FLAGS
From: Karl Berry <[email-masked]>
To: [email-masked]
Cc: [email-masked], [email-masked], [email-masked], [email-masked]
Date: Wed, 21 May 2025 14:18:36 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

Installed, and closing this (and related bugs from the same discussion).
Thanks Jose. -k