Subject: [TOOLS-DEVELOPMENT] Poll: close the tools-development list?

From: Robert Sparks <[email-masked]>
Date: Sat, 17 Dec 2022 15:25:14 -0600

I think we've moved to a more open model of interaction and this list is 
no longer needed. What use it has seen in the last several months could 
have taken place on tools-discuss.

Does anyone think it should continue to be left open, or should we close it.

RjS