Skip to content

Rename ${length()} to ${len()}#111

Merged
Veykril merged 1 commit intoVeykril:mainfrom
NanamiNakano:main
May 26, 2025
Merged

Rename ${length()} to ${len()}#111
Veykril merged 1 commit intoVeykril:mainfrom
NanamiNakano:main

Conversation

@NanamiNakano
Copy link
Contributor

As mentioned in rust-lang/rust#124987, ${length()} has been renamed to ${len()}.

@Veykril Veykril merged commit 2ec9f6a into Veykril:main May 26, 2025
1 check passed
@Veykril
Copy link
Owner

Veykril commented May 26, 2025

Thanks!

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