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

kernel: debug: fix print #1120

Merged
merged 1 commit into from Jul 18, 2018
Merged

kernel: debug: fix print #1120

merged 1 commit into from Jul 18, 2018

Conversation

bradjc
Copy link
Contributor

@bradjc bradjc commented Jul 18, 2018

Accidentally removed the actual panic message with the update to the new nightly. This adds it back.

Testing Strategy

Seeing a panic! on hail.

TODO or Help Wanted

n/a

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make formatall.

Accidentally removed the actual panic message with the update to the new
nightly. This adds it back.
@ppannuto ppannuto added bug kernel P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny. labels Jul 18, 2018
@ppannuto
Copy link
Member

bors r+

bors bot added a commit that referenced this pull request Jul 18, 2018
1120: kernel: debug: fix print r=ppannuto a=bradjc

Accidentally removed the actual panic message with the update to the new nightly. This adds it back.




### Testing Strategy

Seeing a panic! on hail.


### TODO or Help Wanted

n/a


### Documentation Updated

- [x] Updated the relevant files in `/docs`, or no updates are required.

### Formatting

- [x] Ran `make formatall`.


Co-authored-by: Brad Campbell <bradjc5@gmail.com>
@bors
Copy link
Contributor

bors bot commented Jul 18, 2018

Build succeeded

@bors bors bot merged commit 5a94b13 into master Jul 18, 2018
@bors bors bot deleted the fix-debug-print branch July 18, 2018 00:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug kernel P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants