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

From: Roberto E. Vargas Caballero <k0ga_AT_shike2.com>
Date: Mon, 4 May 2015 12:10:33 +0200

Applied, thanks.
Received on Mon May 04 2015 - 12:10:33 CEST

This archive was generated by hypermail 2.3.0 : Mon May 04 2015 - 12:12:19 CEST