On Tue, May 17, 2016 at 4:18 PM, Richard Symonds <
richard.symonds(a)wikimedia.org.uk> wrote:
Hi all,
I wonder if that's the time to end the thread now (which is on a very
public list) and let people reach out privately. Discussion of this sort of
topic, especially when a specific person is involved, is not ideal, and
could make things worse.
New threads would be best for any more tangentially-related discussions, I
think.
Can I reiterate this.
I'm glad we know Chris is well. Now we do, this thread is best closed.
If there are private concerns, please raise them privately. If there are
more general points to discuss, then this thread is not the place for them.
I also see little value in sharing links to other places Chris's original
post has prompted discussion. Let's leave this be.
Regards,
Chris