Bram Moolenaar has died(groups.google.com)
4020 points by wufocaculura | 383 comments
A vim_announce Google Groups post from Bram Moolenaar's family announcing his death on 3 August 2023 and his upcoming funeral arrangements.
#google-groups on Hacker News
1 story tagged google-groups, newest first.