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/88f8fb30e0900b1458a5c688876b50fc2d5615ba?hp=88f8fb30e0900b1458a5c688876b50fc2d5615ba more explicit types ---