henrib commented on PR #409: URL: https://github.com/apache/commons-jexl/pull/409#issuecomment-5267091109
I pushed an additional commit to `apache/commons-jexl:JEXL-411-leading-zeroes` (commit `a4b5751a`: "JEXL-411: move isAllDigits to JexlParser; - update changes.xml;") but was unable to push it directly to your fork. Could you pull it into your branch? ```bash git remote add upstream https://github.com/apache/commons-jexl.git git fetch upstream JEXL-411-leading-zeroes git cherry-pick a4b5751a git push origin JEXL-411-leading-zeroes ``` -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
