Subject: Re: [PATCH] gnu: Add ravanan.
From: jgart <[email-masked]>
To: [email-masked]
Cc: Arun Isaac <[email-masked]>, Sharlatan Hellseher <[email-masked]>
Date: Mon, 03 Feb 2025 16:43:48 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

> I CC Guile user to verify some other build formating otions.
> 
> For some reason we have no guile team ^.-

Hi Oleg,

Oops I missed your message. This patch is already applied.

Arun,

Feel free to open a new ticket if you need to add more build formatting
option suggestions.

-- 
all the best,
jgart