From: Dirk Koopman Date: Fri, 12 May 2017 17:56:30 +0000 (+0100) Subject: fix sh/425 (mostly - bull doesn't work) X-Git-Url: http://gb7djk.dxcluster.net/gitweb/gitweb.cgi?a=commitdiff_plain;ds=inline;h=8d185cf5bc6f767c949a00c31283f4a41f078862;hp=8d185cf5bc6f767c949a00c31283f4a41f078862;p=spider.git fix sh/425 (mostly - bull doesn't work) ---