From 33b38f11a9dd7b689511e544e2ce365181751db3 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Tue, 22 Dec 2020 17:11:39 +0100 Subject: [PATCH] 5.1.2 has been published --- Documentation/doc/resources/1.8.13/menu_version.js | 2 +- Documentation/doc/resources/1.8.14/menu_version.js | 2 +- Documentation/doc/resources/1.8.20/menu_version.js | 2 +- Documentation/doc/resources/1.8.4/menu_version.js | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Documentation/doc/resources/1.8.13/menu_version.js b/Documentation/doc/resources/1.8.13/menu_version.js index 0f354432772..ff345f63b50 100644 --- a/Documentation/doc/resources/1.8.13/menu_version.js +++ b/Documentation/doc/resources/1.8.13/menu_version.js @@ -8,7 +8,7 @@ 'master', '5.2', 'latest', - '5.1.1', + '5.1.2', '5.0.4', '4.14.3', '4.13.2', diff --git a/Documentation/doc/resources/1.8.14/menu_version.js b/Documentation/doc/resources/1.8.14/menu_version.js index 0f354432772..ff345f63b50 100644 --- a/Documentation/doc/resources/1.8.14/menu_version.js +++ b/Documentation/doc/resources/1.8.14/menu_version.js @@ -8,7 +8,7 @@ 'master', '5.2', 'latest', - '5.1.1', + '5.1.2', '5.0.4', '4.14.3', '4.13.2', diff --git a/Documentation/doc/resources/1.8.20/menu_version.js b/Documentation/doc/resources/1.8.20/menu_version.js index 0f354432772..ff345f63b50 100644 --- a/Documentation/doc/resources/1.8.20/menu_version.js +++ b/Documentation/doc/resources/1.8.20/menu_version.js @@ -8,7 +8,7 @@ 'master', '5.2', 'latest', - '5.1.1', + '5.1.2', '5.0.4', '4.14.3', '4.13.2', diff --git a/Documentation/doc/resources/1.8.4/menu_version.js b/Documentation/doc/resources/1.8.4/menu_version.js index 0f354432772..ff345f63b50 100644 --- a/Documentation/doc/resources/1.8.4/menu_version.js +++ b/Documentation/doc/resources/1.8.4/menu_version.js @@ -8,7 +8,7 @@ 'master', '5.2', 'latest', - '5.1.1', + '5.1.2', '5.0.4', '4.14.3', '4.13.2',