stapelberg
commented
1 year ago The release notes are not just in the website, they are also part of the release tarball. We don’t want the two to diverge, even though the date is wrong. There will be a new release soon, so don’t worry about it.
I doubt, that you wrote this 2021-10-19, when the release was on 2022-09-21.
Yes, this is nit-picking. But somebody might get confused. :-)