mariadb: add source mirrors
authorSebastian Kemper <redacted>
Sun, 13 May 2018 09:13:27 +0000 (11:13 +0200)
committerSebastian Kemper <redacted>
Sun, 13 May 2018 09:14:46 +0000 (11:14 +0200)
commit7053b12912133a40759e729cfc30bcf49c8683f6
treea3023dfbcbeb284e3cff306ec34b125dcdf9c260
parent13321a569720ec297b721f925cec6860eac3c478
mariadb: add source mirrors

As suggested by Daniel Engberg, add some mirror servers to offload from
MariaDB's main download server.

Signed-off-by: Sebastian Kemper <redacted>
utils/mariadb/Makefile
git clone https://git.99rst.org/PROJECT