On January 19, 2018 5:22:41 AM PST, Filipp Gunbin <fgunbin@fastmail.fm> wrote:
>On 18/01/2018 17:44 -0800, Aric81 wrote:
>
>>
>> Pinging Robert J. Chassell (sorry if it is something you don't
>usually do).
>
>He passed away last year :-(
>
>Filipp

Oh, I apologize, may he rest in peace.