From: Ralf Jung Date: Mon, 11 Apr 2022 18:13:36 +0000 (-0400) Subject: clarify assumption X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/4094adcf1720574ccc144790de67c48a3988552c?hp=4094adcf1720574ccc144790de67c48a3988552c clarify assumption ---