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.

Sign up for GitHub

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

Jump to bottom

fix: panic on Option unwrap in skip.rs #134

Merged
merged 3 commits into from
Feb 4, 2022
Merged

fix: panic on Option unwrap in skip.rs #134

merged 3 commits into from
Feb 4, 2022

Conversation

aquelemiguel
Copy link
Owner

Closes #133.

@aquelemiguel aquelemiguel added the 🐛 bug Something isn't working label Feb 4, 2022
@afonsojramos afonsojramos merged commit 73c39ea into main Feb 4, 2022
@afonsojramos afonsojramos deleted the panic-skip branch February 4, 2022 02:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@afonsojramos afonsojramos afonsojramos approved these changes

@joao-conde joao-conde Awaiting requested review from joao-conde

Assignees

@joao-conde joao-conde

@afonsojramos afonsojramos

Labels
🐛 bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Panic on Option unwrap in skip.rs
3 participants
@aquelemiguel @afonsojramos @joao-conde