On 22.10.2023 10:14, Michael Büker wrote:
2) […] (A bit of duplication with the README, but sensible IMHO).
Sorry, I meant duplication with CHANGES.
Additionally, if a bug is severe and likely to affect many, we should
include it in the README/FAQ.
Michael
