From: Ralf Jung Date: Wed, 21 Nov 2018 08:16:41 +0000 (+0100) Subject: more explicit types X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/374c40cfa2626278d6ab7c5c3a320c9c0538f0b2?hp=374c40cfa2626278d6ab7c5c3a320c9c0538f0b2 more explicit types ---