[PATCH] Fix inconsistent search result in HTML export

[Dirk Hohndel]

On Sat, Nov 01, 2014 at 09:54:19PM +0200, Gehad Elrobey wrote:
> Dirk,
> 
> I think you have missed this patch, this patch fixes ticket #723 on the
> trac.

Sorry about that. Applied

/D