Re: remove wrongly named package from koji?