Lagrange [release]

Android: Bumped version number; updated release notes

Wed Nov 23 12:38:23 2022 +0200

 CMakeLists.txt                | 4 ++--
 res/about/android-version.gmi | 6 ++++++
 2 files changed, 8 insertions(+), 2 deletions(-)