mirror of
https://github.com/vim/vim.git
synced 2026-08-09 08:58:24 +02:00
7268e53996
Problem: Mixing package managers is not a good idea. Solution: Install gcc 13 with apt-get. (closes #12405)