From: Ralf Jung Date: Mon, 9 Apr 2018 12:46:12 +0000 (+0200) Subject: don't use Option in the example code X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/e770d4e05702bb0cbff0f2d0cb78f09cf75a4b28?hp=e770d4e05702bb0cbff0f2d0cb78f09cf75a4b28 don't use Option in the example code ---