I think it's worth a try. If it becomes annoying we can reverse course. On Wed, Sep 21, 2022 at 6:56 PM Chris Lauwers wrote: Given that there is not a lot of traffic on the tosca mailing list, how would people feel about subscribing the tosca mailing list to the github discussions? Chris From: tos ...
|