Arduino Library Manager has v0.1.0, which doesn't include the fix for const char * in GlobalReplace.
Looking at the Library Manager log (https://downloads.arduino.cc/libraries/logs/github.com/nickgammon/Regexp/), it looks like it isn't updating the code because it already thinks it has the latest version.
Hopefully incrementing the version in library.properties will force Library Manager to update, which will make the latest version of your really useful library easily available to Arduino developers.
Thanks!
Arduino Library Manager has v0.1.0, which doesn't include the fix for
const char *in GlobalReplace.Looking at the Library Manager log (https://downloads.arduino.cc/libraries/logs/github.com/nickgammon/Regexp/), it looks like it isn't updating the code because it already thinks it has the latest version.
Hopefully incrementing the version in library.properties will force Library Manager to update, which will make the latest version of your really useful library easily available to Arduino developers.
Thanks!