From 042cf5ae433d708816d9c86e82ed48cc2d1e54fe Mon Sep 17 00:00:00 2001 From: Oleksii Filonenko Date: Tue, 6 Aug 2019 10:21:03 +0300 Subject: [PATCH] lang/plantuml: change mirror for +plantuml/install This is the one they currently redirect to. Fixes #1637. --- modules/lang/plantuml/autoload.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/lang/plantuml/autoload.el b/modules/lang/plantuml/autoload.el index 171febc8e..a66680d46 100644 --- a/modules/lang/plantuml/autoload.el +++ b/modules/lang/plantuml/autoload.el @@ -6,5 +6,5 @@ (interactive) (if (file-exists-p plantuml-jar-path) (user-error "plantuml.jar already installed") - (url-copy-file "https://kent.dl.sourceforge.net/project/plantuml/plantuml.jar" + (url-copy-file "https://datapacket.dl.sourceforge.net/project/plantuml/plantuml.jar" plantuml-jar-path)))