diff -r 25f42e208e08 -r f8b97639deb5 docs/changelog --- a/docs/changelog Tue Sep 15 19:09:05 2020 +0200 +++ b/docs/changelog Thu Sep 17 19:10:36 2020 +0200 @@ -7,6 +7,7 @@ and allowing to navigate in the code - Third Party packages -- updated Pygments to 2.7.0 + -- updated coverage.py to 5.3.0 Version 20.9: - bug fixes