[PRQ#70245] Deletion Request for crlibm-git