Hint to skip leading zeros in version number.

extension/Documentation/Release.rst

@@ -22,8 +22,8 @@
 Release
 =======
 
-Version 19.xx.x
----------------
+Version 19.x.x
+--------------
 
 Date: <date>
 
@@ -36,8 +36,8 @@ Features
 Bug Fixes
 ^^^^^^^^^
 
-Version 19.01.2
----------------
+Version 19.1.2
+--------------
 
 Date: 17.01.2019
 
@@ -66,8 +66,8 @@ Bug Fixes
 * Check for non unique FormElements now allows multiple empty FormElements.
 
 
-Version 19.01.1
----------------
+Version 19.1.1
+--------------
 
 Date: 04.01.2019
 
@@ -80,8 +80,8 @@ Bug Fixes
 * #7594 / FE.type=extra: don't name it 'type' or 'id' or 'L' - more detailed error message and an explanation in Manual.rst.
 * Config.php: error message about to high session timeout now reports the PHP settings.
 
-Version 19.01.0
----------------
+Version 19.1.0
+--------------
 
 Date: 03.01.2019