Update Documentation/doc/resources/1.9.3/menu_version.js

lrineau · lrineau · commit b8e342d84525 · 2022-09-27T15:20:32.000+02:00
... with the same copy as the other versions! Fix #6886.
diff --git a/Documentation/doc/resources/1.9.3/menu_version.js b/Documentation/doc/resources/1.9.3/menu_version.js
@@ -7,8 +7,9 @@
   var all_versions = [
       'master',
       'latest',
-      '5.4',
-      '5.3.1',
+      '5.5',
+      '5.4.2',
+      '5.3.2',
       '5.2.4',
       '5.1.5',
       '5.0.4',
