[dev] [surf] [pull request] Tiny fix to search engine pull request

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 least recently available search engine pull request
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