profiles/thirdpartymirrors: Update mysql mirror list to use HTTPS
authorThomas Deutschmann <whissi@gentoo.org>
Tue, 8 May 2018 14:54:50 +0000 (16:54 +0200)
committerThomas Deutschmann <whissi@gentoo.org>
Tue, 8 May 2018 15:32:55 +0000 (17:32 +0200)
commitfd692b088e0256c7242e73e884744ba548b0b99a
tree763825d90e14522967a7bbd3d8fa1fc384d30a9c
parentcb076bb399b3d47d3b280627b79447427732dac8
profiles/thirdpartymirrors: Update mysql mirror list to use HTTPS
profiles/thirdpartymirrors