On Mar 10, 2019, at 1:22 PM, Michael Stapelberg <stapelberg@debian.org> wrote:
Michael, Thanks so much for your help over the years and for all your other contributions to the team and project as a whole! You will definitely be missed. I agree with many of your points in your post and hope to see progress on them at some point. Stephen |