Add changes

Author: github-actions[bot]

latestrelease/DiSCover-6.15.52-all.zip

@@ -1,7 +1,7 @@
 <ivy-module version="2.0">
     <info organisation="prom" module="DiSCover" revision="latest">
     	<description>
-    		Version 6.15.52
+    		Version 6.15.53
     	</description>
     </info>
     <configurations>

latestrelease/DiSCover-6.15.53-all.zip

@@ -1,6 +1,6 @@
 
 					<packages>
-						<package name="DiSCover" version="6.15.52" os="all" url="DiSCover/DiSCover-6.15.52-all.zip" desc="Discover S-Cover" org="Eindhoven University of Technology" license="GPL" author="H.M.W. Verbeek" auto="false" hasPlugins="true" logo="prom_subtitle_hat_300.png">
+						<package name="DiSCover" version="6.15.53" os="all" url="DiSCover/DiSCover-6.15.53-all.zip" desc="Discover S-Cover" org="Eindhoven University of Technology" license="GPL" author="H.M.W. Verbeek" auto="false" hasPlugins="true" logo="prom_subtitle_hat_300.png">
 				    	<dependency org="prom" name="ProM-Plugins" rev="latest" changing="true" transitive="true" />
     	<dependency org="prom" name="BasicUtils" rev="latest" changing="true" transitive="true" />
     	<dependency org="prom" name="Widgets" rev="latest" changing="true" transitive="true" />