Subject: Re: [bug#66681] [PATCH] doc: Document Cuirass build notifications.
From: Maxim Cournoyer <[email-masked]>
To: Mathieu Othacehe <[email-masked]>
Cc: [email-masked]
Date: Mon, 23 Oct 2023 11:45:06 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Mathieu,

Mathieu Othacehe <[email-masked]> writes:

> Hello Maxim,
>
>> +Cuirass, the software running on Berlin, one of the official build
>> +servers, includes @acronym{RSS, Really Simple Syndication} feeds as one
>> +of its features (@pxref{Notifications,,,cuirass}).  This can be used to
>
> I think it is worth mentioning that any deployed Cuirass installation
> will offer RSS support, because the above statement can make people
> think that only the Berlin instance does.
>
> Otherwise it looks good to me :)

I've rephrased the first sentence to hopefully remove any ambiguity.
See cbd20d6274.

-- 
Thanks,
Maxim