Closed bakkot closed 9 months ago
Based on #15; just look at the second commit if that hasn't landed yet.
Without this change, there is no way to get a normal exit in the ~strict~ or ~longest~ modes.
~strict~
~longest~
Please rebase.
Based on #15; just look at the second commit if that hasn't landed yet.
Without this change, there is no way to get a normal exit in the
~strict~
or~longest~
modes.