From: Ralf Jung Date: Wed, 22 Aug 2018 16:59:08 +0000 (+0200) Subject: discuss empty types X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/2916b1c61c38b0fc93e06665077954218685bd4c?hp=2916b1c61c38b0fc93e06665077954218685bd4c discuss empty types ---