Skip to content

re-applied commits from MR10

Hans Fangohr requested to merge re-apply-typing-improvements into main

MR10: !10 (merged)

(manually done using cherry-picking in magit).

This should not have been necessary, but somehow we lost the commits in main.

Merge request reports