From: Ralf Jung Date: Tue, 26 Nov 2019 09:08:11 +0000 (+0100) Subject: also mention panic strategy X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/952037f623be2cded97f0a07b57d4dde015b1bd3?hp=952037f623be2cded97f0a07b57d4dde015b1bd3 also mention panic strategy ---