From: Heikki Levanto Date: Wed, 4 Dec 2013 14:42:14 +0000 (+0100) Subject: Merge remote-tracking branch 'origin/master' into ranking-h X-Git-Url: http://lists.indexdata.dk/cgi-bin?a=commitdiff_plain;h=5fc3e07d3dbbe09354a1ca5018c5c5e7faeb28e8;p=pazpar2-moved-to-github.git Merge remote-tracking branch 'origin/master' into ranking-h --- 5fc3e07d3dbbe09354a1ca5018c5c5e7faeb28e8