Diskussion:Bram Moolenaar
Letzter Kommentar: vor 10 Monaten von 2003:DD:9F18:D100:6C27:72C4:D4E1:4DCB
Bram Moolenaar ist am 3. August 2023 verstorben.
https://groups.google.com/g/vim_announce/c/tWahca9zkt4 --2003:DD:9F18:D100:6C27:72C4:D4E1:4DCB 14:52, 5. Aug. 2023 (CEST)