Skip to content

Use String.replace() where possible#6449

Merged
shakuzen merged 1 commit intomicrometer-metrics:1.13.xfrom
izeye:replace
Jun 23, 2025
Merged

Use String.replace() where possible#6449
shakuzen merged 1 commit intomicrometer-metrics:1.13.xfrom
izeye:replace

Conversation

@izeye
Copy link
Copy Markdown
Contributor

@izeye izeye commented Jun 21, 2025

This PR changes to use String.replace(char, char) and String.replace(String, String) where possible.

See spring-projects/spring-framework#35025 and https://medium.com/javarevisited/micro-optimizations-in-java-string-replaceall-c6d0edf2ef6

@shakuzen shakuzen added enhancement A general enhancement performance Issues related to general performance labels Jun 23, 2025
@shakuzen shakuzen added this to the 1.14.9 milestone Jun 23, 2025
@shakuzen shakuzen merged commit 7b07717 into micrometer-metrics:1.13.x Jun 23, 2025
8 checks passed
@izeye izeye deleted the replace branch June 23, 2025 02:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement A general enhancement performance Issues related to general performance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants