From 4fdc1eb6a7d0300708e911140674374c78c20101 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Tue, 20 Aug 2019 08:03:08 +0200 Subject: promote https://mirror.serverion.com/remi as official --- fedora/25/php72/httpsmirror | 1 + 1 file changed, 1 insertion(+) (limited to 'fedora/25/php72/httpsmirror') diff --git a/fedora/25/php72/httpsmirror b/fedora/25/php72/httpsmirror index 2cbb38e8..c5d5f5ca 100644 --- a/fedora/25/php72/httpsmirror +++ b/fedora/25/php72/httpsmirror @@ -10,4 +10,5 @@ https://mir01.syntis.net/remirepo/fedora/$releasever/php72/$basearch/ https://mirror.hoster.kz/remi/fedora/$releasever/php72/$basearch/ https://mirror.pit.teraswitch.com/remi/fedora/$releasever/php72/$basearch/ https://mirror.sjc02.svwh.net/remi/fedora/$releasever/php72/$basearch/ +https://mirror.serverion.com/remi/fedora/$releasever/php72/$basearch/ https://rpms.remirepo.net/fedora/$releasever/php72/$basearch/ -- cgit