tree d7313c9d3aabe0675c944b5e3300b8a845fefc69
parent 0fe190432007cb6ef260a4bf88602cc5a0df6dad
author Stephan Herrmann <stephan.herrmann@berlin.de> 1579007617 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1579007617 +0100

Releng: try to fix failure to get library.xml (http vs. https)