I’m subscribed to the commit mailing list with notifications for new commits to the project. But in the last few days I didn’t receive any e-mails. Is something broken?
Indeed, the commit emails are missing. Sourceforge had a downtime recently, but all settings look fine to me. The list has only 8 subscribers, maybe the commit part is better covered by github’s feeds (e.g. on GitHub - languagetool-org/languagetool: Style and Grammar Checker for 25+ Languages). I’ll use those feeds from now on, the mailing list is then only used for the night regression tests.