julia
c6708ed3
- use `Char` replacement function for `Char`pattern (#25815)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
8 years ago
use `Char` replacement function for `Char`pattern (#25815) * use `Char` replacement function for `Char`pattern * incorporated review results * added hint for replace in NEWS * Improved NEWS text for replace
References
#25815 - use `Char` replacement function for `Char`pattern
Author
KlausC
Committer
stevengj
Parents
29b281eb
Loading