Re: Getting feedback when hydra.gnu.org is unresponsive

[Ludovic Courtès]

In a similar vein, commit a85060e changes the substituter to report
download progress.

Ludo’.