@[email protected] to Open [email protected] • 1 year agoMessage from the family of Bram Moolenaargroups.google.commessage-square10fedilinkarrow-up1155arrow-down13cross-posted to: [email protected][email protected][email protected][email protected][email protected][email protected][email protected][email protected]technology[email protected]
arrow-up1152arrow-down1external-linkMessage from the family of Bram Moolenaargroups.google.com@[email protected] to Open [email protected] • 1 year agomessage-square10fedilinkcross-posted to: [email protected][email protected][email protected][email protected][email protected][email protected][email protected][email protected]technology[email protected]
Very sorry to hear this. RIP Bram, and thank you.