update git tag of exprtk.

fix the issue #3182 (closed)

requested review from @bilke

requested review from @endJunction

@endJunction @bilke This workaround works for me. Please feel free to make your changes if my changes are inappropriate.

Also works for me!

mentioned in commit 1970fc1a

merged

@bilke @endJunction Since a number of users encountered the compilation error posed in the issue #3182 (closed), I take it upon myself to merge this pull request.

mentioned in issue #3182 (closed)

resolved all threads

@renchao-lu Yes everything fine. Maybe the developer of exprtk force-pushed the master-branch, I cannot see the previous commit hash anymore... Thanks for fixing this.

@bilke Great. Thanks for confirming this change was made properly.

changed title from [ci] fixup! update git tag of exprtk. to update git tag of exprtk.

mentioned in merge request !3981 (merged)

changed milestone to %6.4.2