bug#39418: closed ([PATCH] doc: Improve documentation on Substitute Server Authorization)

[GNU bug Tracking System]

Your message dated Wed, 5 Feb 2020 15:14:37 -0500
with message-id <address@hidden>
and subject line Re: [bug#39418] [PATCH] doc: Improve documentation on 
Substitute Server Authorization
has caused the debbugs.gnu.org bug report #39418,
regarding [PATCH] doc: Improve documentation on Substitute Server Authorization
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
39418: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39418
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] doc: Improve documentation on Substitute Server Authorization Date: Tue, 04 Feb 2020 15:18:03 +0100

-- 
Damien Cassou

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill

0001-doc-Improve-documentation-on-Substitute-Server-Autho.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#39418] [PATCH] doc: Improve documentation on Substitute Server Authorization
>
>
>
>
> Date: 
>
> Wed, 5 Feb 2020 15:14:37 -0500
>
>
>
>
> 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
>
>
> --- End Message ---