version bump

diff --git a/docs/download.html b/docs/download.html
index d80d06a3d1c5b66de74060522d5f04609c397f02..bf5fb24f2069a782b2ada0c4aa49328371185269 100644 (file)
--- a/docs/download.html
+++ b/docs/download.html
@@ -9,7 +9,7 @@
 <H1>Downloading</H1>
 
 <p>
-Last development release: <b>6.5.1</b>
+Last development release: <b>6.5.2</b>
 </p>
 
 <p>