Release new version 4.2.25

This commit is contained in:
Grahame Grieve 2020-05-02 11:15:32 +10:00
parent 868fbb5f95
commit 4245839a69
1 changed files with 2 additions and 0 deletions

View File

@ -316,6 +316,8 @@ public class PackageCacheManager {
}
private InputStreamWithSrc loadFromPackageServer(String id, String v) {
// release hack:
if ("4.4.0".equals(v)) {v = "4.2.0"; };
PackageClient pc = new PackageClient(PRIMARY_SERVER);
String u = null;
InputStream stream;