@[email protected] to Open [email protected] • 2 years agoMessage from the family of Bram Moolenaargroups.google.commessage-square10fedilinkarrow-up1159cross-posted to: [email protected][email protected][email protected][email protected][email protected][email protected][email protected][email protected][email protected]
arrow-up1159external-linkMessage from the family of Bram Moolenaargroups.google.com@[email protected] to Open [email protected] • 2 years agomessage-square10fedilinkcross-posted to: [email protected][email protected][email protected][email protected][email protected][email protected][email protected][email protected][email protected]
minus-square@[email protected]linkfedilink4•2 years agoVery sorry to hear this. RIP Bram, and thank you.
Very sorry to hear this. RIP Bram, and thank you.