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/c548ba1272823683134f3e46c955258913418372?ds=inline;hp=c548ba1272823683134f3e46c955258913418372 clarify assumption ---