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)
commit1fda24c2f3bc1b48e8ae5b60afe45c1a41be804f
tree17c658634abc7bf195ecb249c905ee5acd458665
parente541958dd68d1c67ae172e6562606cc2f0ca0b80
mirror-health: set User-Agent http header
modules/roles/files/mirror_health/mirror-health