Lagrange [work/v1.15]

iOS: Bumped version number; updated release notes

=> 0799dd9a18a9a4d8efb6339a30bd0f94f44a93b9

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ff23034d..f7c52154 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -25,8 +25,8 @@ project (Lagrange
 set (COPYRIGHT_YEAR 2022)
 if (IOS)
     set (PROJECT_VERSION 1.13)
-    set (IOS_BUNDLE_VERSION 2)
-    set (IOS_BUILD_DATE "2022-05-09")
+    set (IOS_BUNDLE_VERSION 4)
+    set (IOS_BUILD_DATE "2022-11-02")
 endif ()
 if (ANDROID)
     set (PROJECT_VERSION 1.13)
diff --git a/res/about/ios-version.gmi b/res/about/ios-version.gmi
index 45ff2d51..8e1c88fa 100644
--- a/res/about/ios-version.gmi
+++ b/res/about/ios-version.gmi
@@ -6,6 +6,14 @@
 ```
 # Release notes
 
+## 1.13 (4)
+* Fixed issues with text selection and range visualization.
+
+## 1.13 (3)
+* Fixed reporting of errors related to a proxy server certificate.
+* An untrusted proxy server certificate can be trusted via Page Information.
+* Updated UI translations.
+
 ## 1.13 (2)
 * Fixed showing error page for an empty server response.
 * Fixes for Spartan: query strings, input prompt default content, empty paths.