Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Handle READ_GAP_ROOT as an "outer loop"
in the sense of the message "you can 'quit;' to quit to outer loop" in break loops. I.e. continue in READ_GAP_ROOT even if `UserHasQuit`.
- Loading branch information