Re: [dev] [PATCH 10/10] Fix empty selection highlighting bug.

Sun, 03 May 2015 12:30:28 -0700 

I have sent a better version of the patch, ignore this one.

Reply via email to