Skip to content

Clean up java.nio APIs usage to avoid desugaring#1785

Merged
FooIbar merged 1 commit intomainfrom
fb/desugar
Oct 23, 2024
Merged

Clean up java.nio APIs usage to avoid desugaring#1785
FooIbar merged 1 commit intomainfrom
fb/desugar

Conversation

@FooIbar
Copy link
Copy Markdown
Owner

@FooIbar FooIbar commented Oct 23, 2024

No description provided.

@FooIbar FooIbar requested a review from revonateB0T October 23, 2024 09:31
@FooIbar FooIbar merged commit c8cfaee into main Oct 23, 2024
@FooIbar FooIbar deleted the fb/desugar branch October 23, 2024 10:03
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