ngaro
commented
3 years ago - To deining: The same error also occurs in docs/ChangeLog.md, can you add a 2nd commit to also fix it in that file ?
- To muquit: is this project abandoned ? Almost a year has passed and such a trivial PR still hasn't been merged (or closed in case you feel the changelog shouldn't be changed, only appended)