tree 58693d61dc6d3e7494ab5fcfd1d47dcc8ddcf0f3
parent 6dc5a36dbba0187b570500a210e43ccdd9017b8d
author Laszlo Kishalmi <laszlo.kishalmi@gmail.com> 1662876227 -0700
committer Laszlo Kishalmi <laszlo.kishalmi@gmail.com> 1662876227 -0700

Fix case insensitive completion to realy replace the selected text