From: Dirk Koopman Date: Fri, 8 May 2020 15:26:05 +0000 (+0100) Subject: squash some warnings X-Git-Url: http://dxcluster.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=18d20f736241e0f9423f83fee86db16141cdf1b5;hp=18d20f736241e0f9423f83fee86db16141cdf1b5;p=spider.git squash some warnings ---