Fix #803: String#replace should be preferred to String#replaceAll#804

Merged

banterCZ merged 1 commit intodevelopfrom issues/803-replaceAll

Mar 4, 2024

+2-2

Commits on Mar 1, 2024

Fix #803 : String#replace should be preferred to String#replaceAll
banterCZ
committed