From: Peter Dimov (pdimov_at_[hidden])
Date: 2024-09-18 14:23:37
Phil Endecott wrote:
> I think this is the right time for me to unsubscribe from this list; being here
> doesn't help me, and my contributions don't seem to help anyone else.
Well, I don't agree with that second part, for what it's worth. Your
contributions to the discussions have consistently been of high value and
quality.