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/fd23296e257f135236fc3e3e3d903bf22050b7ba?hp=fd23296e257f135236fc3e3e3d903bf22050b7ba also mention panic strategy ---