Subject: Re: [bug#39418] [PATCH] doc: Improve documentation on Substitute Server Authorization
From: Leo Famulari <[email-masked]>
To: Damien Cassou <[email-masked]>
Cc: [email-masked]
Date: Wed, 5 Feb 2020 15:14:37 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

On Wed, Feb 05, 2020 at 11:31:07AM +0100, Damien Cassou wrote:
> -This indicates that substitutes from @code{@value{SUBSTITUTE-SERVER}} are usable and
> -will be downloaded, when possible, for future builds.
> +Please note that the introductory text changed from ``The following
> +derivations would be built'' to ``112.3 MB would be downloaded''. This
> +indicates that substitutes from @code{@value{SUBSTITUTE-SERVER}} are
> +usable and will be downloaded, when possible, for future builds.

Thanks! I simplified the text a bit and pushed as
ea9cc4ef219e62de569945816a5e666775e7fa41