From 9789939897e67ff9032338c43476fc0e14761608 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jaakko=20Ker=C3=A4nen?= Date: Sat, 31 Oct 2020 21:40:46 +0200 Subject: [PATCH 1/1] Updated release notes --- res/about/version.gmi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/res/about/version.gmi b/res/about/version.gmi index 5c90fb2c..cee98648 100644 --- a/res/about/version.gmi +++ b/res/about/version.gmi @@ -8,7 +8,7 @@ ## 0.7 * Basic set of user-configurable key bindings. -* Sidebar: Added a "New Identity" button and a link to "about:help" if there no identities. +* Sidebar: Added a "New Identity" button and a link to "about:help" if there are no identities. * Faster drawing of certain UI elements: site icon and current heading in the left margin, unfocused input fields, timestamp at the end of the page. * History is not updated until a network request finishes. * Improved opening connections when multiple IP addresses are found for a hostname. -- 2.34.1