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/351dcf54d4afe8ff5baa83672d36531c0d3e901a?hp=351dcf54d4afe8ff5baa83672d36531c0d3e901a more explicit types ---