diff -r e1fe7d47d7ab -r 978b7b8eee65 ChangeLog --- a/ChangeLog Mon Sep 11 13:42:04 2023 +0200 +++ b/ChangeLog Mon Sep 11 13:49:02 2023 +0200 @@ -1,5 +1,10 @@ ChangeLog --------- +Version 10.3.1: +- slight improvement of the typing completer +- updated Russian translations +- updated Spanish translations + Version 10.3.0: - bug fix - added a Typing Completer and an associated configuration page