On Tue, May 21, 2019 at 9:24 AM Heiko Carstens <[email protected]> wrote: > > We are devastated by the tragic death of Martin Schwidefsky who died > in an accident last Saturday.
Ouch.
Thanks for letting people know, and condolences to friends and family.
Linus
