tree db7abc25bb36ea8df671db496ab593e8f7c064b1
parent 31ae158c972fe5d60ccdf390ee254ef1cf2b42cc
author Zesstra <zesstra@zesstra.de> 1564511011 +0200
committer Zesstra <zesstra@zesstra.de> 1564511011 +0200

Mudlet-GUI-Paket ohne Neuladen der Shells aktualisieren.

Die Versionsnummer und die Download-URL kommt aus einem
Objekt, was man separat neuladen kann.

Change-Id: I2f06710577c36dc9e427760a33022b99a47b91c3