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

From: <noname_AT_inventati.org>
Date: Sun, 3 May 2015 19:29:36 +0000

I have sent a better version of the patch, ignore this one.
Received on Sun May 03 2015 - 21:29:36 CEST

This archive was generated by hypermail 2.3.0 : Sun May 03 2015 - 21:36:13 CEST