> 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] I’m happy either way, to be honest. In any event, I took your comments as improvements and have updated the PR to reflect them. Thank you. Be seeing you, norm -- Norm Tovey-Walsh SaxonicaReceived on Monday, 10 October 2022 15:59:31 UTC
This archive was generated by hypermail 2.4.0 : Monday, 10 October 2022 15:59:32 UTC