-
-
Notifications
You must be signed in to change notification settings - Fork 1.8k
feat(more): exit_on_eof option #10667
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
fa90357 to
4274f7b
Compare
Merging this PR will not alter performance
Comparing Footnotes
|
ca5cb85 to
bbe07a0
Compare
|
please split this PR into several |
bbe07a0 to
a9489a1
Compare
|
@sylvestre this PR now covers |
|
GNU testsuite comparison: |
a9489a1 to
80615dc
Compare
|
GNU testsuite comparison: |
Fix part of #2320.