[PRQ#39420] Deletion Request for efi-devel-git Accepted