Yes, RIP Bram -- you were an inspiration as well as being a "mensch". You'll be sorely missed.
On Saturday, August 5, 2023 at 5:30:41 PM UTC+3 Yegappan Lakshmanan wrote: > On Sat, Aug 5, 2023 at 5:53 AM Maxim Kim <hab...@gmail.com> wrote: > > > > https://groups.google.com/g/vim_announce/c/tWahca9zkt4 > > > > I am truly saddened and shocked to hear this news. > > I have been following him for more than 25 years and have interacted > with him for more than 22 years. He has been an inspiration to me and > many others. He has really changed the world for the better. He has > single handedly improved the productivity of countless developers and > companies around the world. He dedicated his entire life to work on > Vim. His vision and ability to design some of the most complex features > (such as the vim9script compiler, spell check, syntax highlighting, > channels, tab pages, virtual text, and many others) have always amazed > me. > > We will all miss him deeply. Rest In Peace, Bram, and thank you for > everything. > > - Yegappan > > > > > RIP Bram. > > > > On Saturday, August 5, 2023 at 8:18:33 PM UTC+10 tooth pik wrote: > >> > >> i've been wondering the same thing -- my guess was he's in africa again > >> > >> On Sat, Aug 5, 2023 at 12:34 AM Yegappan Lakshmanan <yega...@gmail.com> > wrote: > >>> > >>> Hi all, > >>> > >>> I haven't seen any emails from Bram to the mailing list for more than > a month. > >>> Is he on vacation? Has anyone had any contact with him in the last > month? > >>> > >>> Regards, > >>> Yegappan > >>> > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/b0859420-ee84-4ecd-b968-294923fecfden%40googlegroups.com.
