On Sat, Aug 05, 2023 at 10:21:06PM -0500, Dave Kemper wrote: > This is the topic of the open Savannah ticket > http://savannah.gnu.org/bugs/?62344#comment0.
Thank you for the very helpful context, Dave. What is a good course of action to move forward with this? Should I create an account for myself on savannah.gnu.org to continue the conversation there or is this mailing list the right place for this? Which other people should be contacted and get involved? Best Alexis[
