From: Petter Reinholdtsen Date: Fri, 29 Sep 2017 08:23:43 +0000 (+0200) Subject: Minor polish. X-Git-Url: http://pere.pagekite.me/gitweb/homepage.git/commitdiff_plain/bbcaf171a7fbd16cad4513f9df0869977deda767?hp=bbcaf171a7fbd16cad4513f9df0869977deda767 Minor polish. ---