> I'm never sure whether we want to have technical discussions via email > or via comments in the Github issue; in this case I made some comments > (and JL has made more) in the issue [1] It really ought to be via email (the list) so that it includes the community, and not only the githiub subscribers. StevenReceived on Tuesday, 11 October 2022 13:01:05 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 11 October 2022 13:01:06 UTC