projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13321a5) | patch
mariadb: add source mirrors 6044/head
authorSebastian Kemper <sebastian_ml@gmx.net>
Sun, 13 May 2018 09:13:27 +0000 (11:13 +0200)
committerSebastian Kemper <sebastian_ml@gmx.net>
Sun, 13 May 2018 09:14:46 +0000 (11:14 +0200)
commit7053b12912133a40759e729cfc30bcf49c8683f6
treea3023dfbcbeb284e3cff306ec34b125dcdf9c260tree | snapshot
parent13321a569720ec297b721f925cec6860eac3c478commit | diff
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 <sebastian_ml@gmx.net>
utils/mariadb/Makefile diff | blob | history
Mirror of packages feed