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

Fix window manager panic (found via fuzzing) #92

Merged
merged 1 commit into from
Sep 28, 2020

Conversation

aaronjanse
Copy link
Owner

Note that the base branch is #91, which I recommend merging into master first

Copy link
Collaborator

@PotatoParser PotatoParser left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@aaronjanse aaronjanse changed the base branch from aj2020sep-cleaner-boot to master September 28, 2020 23:13
@aaronjanse aaronjanse force-pushed the aj2020sep-fix-wm-panic branch from e06aee9 to ba5381a Compare September 28, 2020 23:18
@aaronjanse aaronjanse merged commit 89934ea into master Sep 28, 2020
@aaronjanse aaronjanse deleted the aj2020sep-fix-wm-panic branch March 8, 2021 22:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants