From 39c8d0778999c84c6e4d66999182a44e629005fb Mon Sep 17 00:00:00 2001 From: Peter Kriens Date: Thu, 8 Jun 2023 18:15:29 +0200 Subject: [PATCH] Native loading --- org.alloytools.alloy.dist/conveyor/conveyor.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.alloytools.alloy.dist/conveyor/conveyor.conf b/org.alloytools.alloy.dist/conveyor/conveyor.conf index d3dac3ce5..097fa9a9c 100644 --- a/org.alloytools.alloy.dist/conveyor/conveyor.conf +++ b/org.alloytools.alloy.dist/conveyor/conveyor.conf @@ -2,7 +2,7 @@ include required("/stdlib/jdk/17/openjdk.conf") app { - version = 6.1.0.7 + version = 6.1.0.8 rdns-name = org.alloytools.alloy name = Alloy fsname = alloy