mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 04:46:21 +00:00
Fixes #1911
Alternative to #2056
Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
(cherry picked from commit b12521ca21)
Fixes #1911
Alternative to #2056
Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
(cherry picked from commit b12521ca21)