Interesting Snippets from 2023-08-08

• Message from the family of Bram Moolenaar

  It is with a heavy heart that we have to inform you that Bram Moolenaar passed away on 3 August 2023.

• Bram Moolenaar has died | Hacker News

  Bram Moolenaar has died

[/snippets] permanent link