Shawn Pearce has died

[Johannes Schindelin]

Hey fellow gitters,

I found these sad news in my timeline today:

https://twitter.com/cdibona/status/957822400518696960

Ciao,
Johannes