mirror-health: set User-Agent http header
authorJulien Cristau <jcristau@debian.org>
Fri, 23 Feb 2018 15:21:06 +0000 (16:21 +0100)
committerJulien Cristau <jcristau@debian.org>
Fri, 23 Feb 2018 15:21:06 +0000 (16:21 +0100)

No differences found