[PRQ#61552] Deletion Request for icestorm-git-pinned Accepted