14 Jul
2025
14 Jul
'25
4:17 p.m.
On Mon, Jul 14, 2025 at 5:28 PM Tamir Duberstein tamird@gmail.com wrote:
Yep, that's what I was going to do - but do I resend the whole series, or somehow just this patch?
Whole series is simpler, I think.
Cheers, Miguel