January 19, 2025
-
Fix links and other wrapping-related formatting in changelog
Marco Ricci authored on 2025-01-19 13:02:24
-
Merge topic branch 'fix-zsh-completion' into master
Marco Ricci authored on 2025-01-19 12:42:35
January 17, 2025
January 16, 2025
-
Add changelog entry for the recent renaming and recasting of some type
Marco Ricci authored on 2025-01-16 01:50:18
-
Fix usage of `mypy --python-version=3.9` and friends
Marco Ricci authored on 2025-01-16 01:28:57
-
Make key pairs, key sets and key-comment pairs generic
Marco Ricci authored on 2025-01-16 01:05:38