Updated publish.md with information about how to create and use a GPG…

… key for publishing artifacts.
robo-code · May 2, 2024 · b453d3b · b453d3b
1 parent b5a297e
commit b453d3b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/versions.md b/versions.md
@@ -1,3 +1,7 @@
+## Version 1.9.5.3
+
+* #66: Fixed a problem setting `_JAVA_OPTIONS` properly in shell files. Thanks goes to @scientificworld for this fix. 😊
+
 ## Version 1.9.5.2 (24-Oct-2023)
 
 ### Bugfix: