Lagrange [release]

Android: Bumped version number; updated release notes

7ddd0a4c62326a8b0a837bebcaeea92d07e21b8b
[1mdiff --git a/CMakeLists.txt b/CMakeLists.txt[m
[1mindex 9d279761..00a95614 100644[m
[1m--- a/CMakeLists.txt[m
[1m+++ b/CMakeLists.txt[m
[36m@@ -30,8 +30,8 @@[m [mif (IOS)[m
 endif ()[m
 if (ANDROID)[m
     set (PROJECT_VERSION 1.14)[m
[31m-    set (ANDROID_BUILD_VERSION b8)  # remember to update Gradle, AndroidManifest.xml[m
[31m-    set (ANDROID_BUILD_DATE "2022-11-21")[m
[32m+[m[32m    set (ANDROID_BUILD_VERSION b9)  # remember to update Gradle, AndroidManifest.xml[m
[32m+[m[32m    set (ANDROID_BUILD_DATE "2022-11-22")[m
 endif ()[m
 [m
 # Defaults that depend on environment.[m
[1mdiff --git a/res/about/android-version.gmi b/res/about/android-version.gmi[m
[1mindex 29a78871..76cd2a49 100644[m
[1m--- a/res/about/android-version.gmi[m
[1m+++ b/res/about/android-version.gmi[m
[36m@@ -6,6 +6,12 @@[m
 ```[m
 # Release notes[m
 [m
[32m+[m[32m## 1.14 (Beta 9)[m
[32m+[m[32m* Fixed pinned identity being forgotten when navigating to parent/root.[m
[32m+[m[32m* Improved layout of the bookmark editor dialog.[m
[32m+[m[32m* Avoid over-saturating green text in the Colorful Dark theme.[m
[32m+[m[32m* Updated UI translations.[m
[32m+[m
 ## 1.14 (Beta 8)[m
 * Settings: Added a "User Data" section for export/import and listing bookmarks, feeds, and downloads.[m
 * Improved behavior of pinned bookmark identities.[m