#96 print filename of downloaded source
Closed: Fixed Opened by sharkcz.

When the "sources" target is run, then curl prints some statistics during
the download of the missing file, but it doesn't print the filename that gets
downloaded.


Applied. Will try to get it merged into the next build.

Metadata