From 8a72b65f957d5ccc02db64be2375760929368bb4 Mon Sep 17 00:00:00 2001

From: =?UTF-8?q?Jaakko=20Kera=CC=88nen?= jaakko.keranen@iki.fi

Date: Wed, 2 Nov 2022 06:55:13 +0200

Subject: [PATCH 1/1] Updated release notes

res/about/version.gmi | 3 +++

1 file changed, 3 insertions(+)

diff --git a/res/about/version.gmi b/res/about/version.gmi

index b6d03ec7..c7ec17a3 100644

--- a/res/about/version.gmi

+++ b/res/about/version.gmi

@@ -6,6 +6,9 @@

Release notes

+## 1.13.8

+* Fixed issues with text selection and range visualization.

1.13.7

• Fixed reporting of errors related to a proxy server certificate.

• An untrusted proxy server certificate can be trusted via Page Information.

--

2.25.1