Skip to content
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

Make terminating errors terminate the right way #187

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open
Prev Previous commit
Next Next commit
move propagate exec prefs RFC into PR #221
KirkMunro committed Aug 16, 2019
commit af677343fc25bad3e1661db2e811c2cfcb2fbba3
135 changes: 0 additions & 135 deletions 1-Draft/RFCNNNN-Propagate-Execution-Preferences-Beyond-Module-Scope.md

This file was deleted.