[PRQ#71662] Deletion Request for devtools32-git