updated version history

HISTORY.md

@@ -11,7 +11,8 @@
 ### 2019-07-01
 * new dev version
 * lists: fixed #2446
-* threads: fixed an issue when iterating over a linked list with a script mutating it, thanks, Brian! 
+* threads: fixed an issue when iterating over a linked list with a script mutating it, thanks, Brian!
+* cloud: fixed collection grid page size, thanks, Bernat! 
 
 ## v5
 ### 2019-06-27

snap.html

@@ -21,7 +21,7 @@
         <script type="text/javascript" src="src/xml.js?version=2019-06-27"></script>
         <script type="text/javascript" src="src/store.js?version=2019-06-27"></script>
         <script type="text/javascript" src="src/locale.js?version=2019-06-27"></script>
-        <script type="text/javascript" src="src/cloud.js?version=2019-06-27"></script>
+        <script type="text/javascript" src="src/cloud.js?version=2019-07-01"></script>
         <script type="text/javascript" src="src/sha512.js?version=2019-06-27"></script>
         <script type="text/javascript" src="src/FileSaver.min.js?version=2019-06-27"></script>
         <script type="text/javascript">

src/cloud.js

@@ -34,7 +34,7 @@
 /*global modules, hex_sha512*/
 
 modules = modules || {};
-modules.cloud = '2019-April-25';
+modules.cloud = '2019-July-01';
 
 // Global stuff