[PRQ#38970] Deletion Request for exprtk-git Accepted