Re: [documentation-dev] Gerry Singleton passed away

[Elia DaRos]

Whoa.  This is a shock. I barely knew him, but he was, from what I saw, a
well-respected member of the community.  Best wishes to his family from
here.