On 29 November 2015 at 01:27, Auke Booij <auke at tulcod.com> wrote: > Signed-off-by: Auke Booij <auke at tulcod.com> I realized this is the wrong search algorithm. I will fix it later today.