Lagrange [release]
Terminal: Use the Debug build for now
Mon May 9 14:49:03 2022 +0300
Seeing a strange problem with the Release build, perhaps due to
compiler optimizations or some inappropriate NDEBUG code.
build-tui.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)