mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 11:56:22 +00:00
introduced in 8d3c1f79ac
This fixes #1852
Signed-off-by: Steffen Jaeckel <jaeckel-floss@eyet-services.de>
introduced in 8d3c1f79ac
This fixes #1852
Signed-off-by: Steffen Jaeckel <jaeckel-floss@eyet-services.de>