LazyVim/LazyVim v12.33.0

on GitHub

12.33.0 (2024-07-19)

Features

• extras: improve ruby extra by letting user chose (#3652) (7839498)
• lang: add Lean 4 support (#4080) (3e29fdf)
• lang: add OCaml (#4079) (a219e10)

Bug Fixes

• ui: trouble lualine component (f9fdb35)