Update to new version

2018-05-29 12:52:53 +02:00
parent 206da01086
commit a6d50c11aa
5 changed files with 10 additions and 4 deletions
--- a/Doc/changelog.docu
+++ b/Doc/changelog.docu
@@ -7,6 +7,11 @@
 <!-- --------------------------------------------------------------------- -->


+<tr valign=top><td><b>7.2</b> (?/?/?)</td><td>
+
+</tr>
+
+
 <tr valign=top><td><b>7.1</b> (2018/05/29)</td><td>

 <b>IO</b>