Subject: [Tools-arch] tools-arch future

From: Lars Eggert <[email-masked]>
Date: Wed, 25 Aug 2021 15:22:07 +0300

Hi,

I think the energy has left the tools-arch effort. My inclination is hence to close the team and ask interested individuals to pursue their relevant interests over in the tools team - there is a lot of overlap among the participants anyway.

Thoughts?

Thanks,
Lars