Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upUser scripts trigger panic #22685
Closed
User scripts trigger panic #22685
Labels
Comments
Member
jdm
commented
Jan 14, 2019
bors-servo
added a commit
that referenced
this issue
Jan 15, 2019
Don't panic when executing userscripts - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes fix #22685 - [x] These changes do not require tests because there is no automation for testing userscripts. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22697) <!-- Reviewable:end -->
bors-servo
added a commit
that referenced
this issue
Jan 16, 2019
Don't panic when executing userscripts - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes fix #22685 - [x] These changes do not require tests because there is no automation for testing userscripts. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22697) <!-- Reviewable:end -->
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment