Skip to content

Add toURI and toURL helpers to os.Path#399

Merged
lihaoyi merged 1 commit into
mainfrom
to-uri-url
Jul 31, 2025
Merged

Add toURI and toURL helpers to os.Path#399
lihaoyi merged 1 commit into
mainfrom
to-uri-url

Conversation

@lihaoyi
Copy link
Copy Markdown
Member

@lihaoyi lihaoyi commented Jul 31, 2025

Calling .toNIO.toUri and .toNIO.toUri.toURL is getting annoying

@lihaoyi lihaoyi merged commit 5c048db into main Jul 31, 2025
14 of 16 checks passed
@lihaoyi lihaoyi deleted the to-uri-url branch July 31, 2025 05:56
@lefou lefou added this to the 0.11.5 milestone Aug 17, 2025
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