Skip to content

Fix a tricky bug.

The full description/discussion of the bug, can be found here: https://unix.stackexchange.com/a/610101/267622 This is a potential solution to the unknown issue where: GNU build on Debian/Ubuntu based systems suddenly exits when entering the EXIT command in a submenu

Merge request reports