On 10/6/2022 1:24 PM, Adam Dinwoodie wrote:
Jari isn't very active on the lists these days, but I think he is still active, so he might want to weigh in.
I'm not sure Jari is subscribed to this list. I've added him to the CC. Ken
On 10/6/2022 1:24 PM, Adam Dinwoodie wrote:
Jari isn't very active on the lists these days, but I think he is still active, so he might want to weigh in.
I'm not sure Jari is subscribed to this list. I've added him to the CC. Ken