On Mon, Jan 29, 2018 at 2:55 PM, Christian Couder <[email protected]> wrote: > On Mon, Jan 29, 2018 at 6:21 PM, Jeff King <[email protected]> wrote: >> On Mon, Jan 29, 2018 at 10:33:08AM +0100, Johannes Schindelin wrote: >> >>> I found these sad news in my timeline today: >>> >>> https://twitter.com/cdibona/status/957822400518696960 >> >> Thanks for posting this. > > Yeah, thanks.
This is truly sad news. Just wanted to voice my surprise, sadness, and sympathy. -Brandon
