On Mon, Jan 29, 2018 at 2:55 PM, Christian Couder <christian.couder@xxxxxxxxx> wrote: > On Mon, Jan 29, 2018 at 6:21 PM, Jeff King <peff@xxxxxxxx> 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
