From 572eb7d3918e62c205aa98525cf59015612894b5 Mon Sep 17 00:00:00 2001 From: Markus Birth Date: Sun, 6 May 2018 16:26:33 +0200 Subject: [PATCH] Switch server as previous one got issues. --- mariadb-artful.list | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mariadb-artful.list b/mariadb-artful.list index 335ab38..b821661 100644 --- a/mariadb-artful.list +++ b/mariadb-artful.list @@ -1,4 +1,5 @@ # sudo apt-key adv --recv-keys --keyserver hkp://keyserver.ubuntu.com:80 0xF1656F24C74CD1D8 # deb [arch=amd64,i386] http://ftp.hosteurope.de/mirror/mariadb.org/repo/10.3/ubuntu artful main -deb [arch=amd64,i386] http://mirror.netcologne.de/mariadb/repo/10.3/ubuntu artful main +# deb [arch=amd64,i386] http://mirror.netcologne.de/mariadb/repo/10.3/ubuntu artful main +deb [arch=amd64,i386] http://mirror2.hs-esslingen.de/mariadb/repo/10.3/ubuntu artful main