Commit 8d06ccd47959e3fd10e49ebb7582d73c5fc9f1dd

Nick Wellnhofer 2022-03-09T22:36:51

Fix --without-debug build Broken in commit 2cc93f77. Fixes #354.