mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 07:46:21 +00:00
This fixes #1846
Issue introduced by a0aa26b6fa
Signed-off-by: Steffen Jaeckel <jaeckel-floss@eyet-services.de>
This fixes #1846
Issue introduced by a0aa26b6fa
Signed-off-by: Steffen Jaeckel <jaeckel-floss@eyet-services.de>