[dev] [surf] [patch] Tiny fix to search engine patch

From: Eric R. J. Edwards <eedwa_01_AT_uni-muenster.de>
Date: Sat, 27 Oct 2012 16:16:13 +0200

Hi all,

I recently found that the most recently available search engine patch
fails on surf 0.5. A tiny change fixes that, and I've attached the
resultant diff file.

Best,
Eric

Received on Sat Oct 27 2012 - 16:16:13 CEST