From: Ralf Jung Date: Tue, 8 Oct 2024 13:02:14 +0000 (+0200) Subject: fix an old typo and remove a reduntant clause X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/b1fb7e6b7275d6c6341ecec5aa372f246e863f97?ds=inline;hp=b1fb7e6b7275d6c6341ecec5aa372f246e863f97 fix an old typo and remove a reduntant clause ---