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 deserializing Option::Some #2

Merged
merged 2 commits into from
Sep 6, 2024
Merged

fix deserializing Option::Some #2

merged 2 commits into from
Sep 6, 2024

Conversation

jobafr
Copy link
Collaborator

@jobafr jobafr commented Sep 5, 2024 •
edited
Loading

@jobafr jobafr requested a review from ddimarco September 5, 2024 11:10
mauricegohlke
mauricegohlke approved these changes Sep 6, 2024
View reviewed changes
src/xmlfmt/de.rs Outdated Show resolved Hide resolved
@mauricegohlke mauricegohlke assigned amogck and jobafr and unassigned ddimarco and amogck Sep 6, 2024
@jobafr @mauricegohlke
remove commented code
9829d5b 
Co-authored-by: mauricegohlke <[email protected]>
@jobafr jobafr merged commit a624a7e into feat/poll_timeout-and-drop Sep 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ddimarco ddimarco ddimarco approved these changes

@mauricegohlke mauricegohlke mauricegohlke approved these changes

Assignees

@jobafr jobafr

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@jobafr @ddimarco @mauricegohlke @amogck