@AndrewRadev I subscribed to that PR 2 hours ago, and now I see it's closed lol 🤦🏻♀️
Aaron Patterson ✅
@AndrewRadev omg, closed because it got merged!! 🎉🎉🎉🎉
Benoit
@tenderlove @AndrewRadev but there is a proposal? https://github.com/vim/vim/commit/c9df1fb35a1866901c32df37dd39c8b39dbdb64a