5 ms·
Bram Moolenaar's passing became public last Saturday: Bram Moolenaar has died - https://news.ycombinator.com/item?id=37011324 https://news.ycombinator.com/item
by metadat 3y ago
Bram Moolenaar's passing became public last Saturday:
Bram Moolenaar has died - https://news.ycombinator.com/item?id=37011324 https://news.ycombinator.com/item?id=37011324 (4272 points, 430 comments)