13.5.3

thought-machine · Apr 10, 2019 · a9fb501 · a9fb501
1 parent 4a7cdf4
commit a9fb501
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,10 @@
+Version 13.5.3
+--------------
+
+    * Several cross-compilation issues fixed (#581, #582, #584, #585).
+    * Process termination is more robust for test timeouts etc.
+
+
 Version 13.5.2
 --------------
 

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-13.5.2
+13.5.3