Closed Issue: How can a user with developer rights can delete an issue? [80]

How can a user with developer rights can delete an issue in version 1.1.213.0

I have checked the rights option and developer do not have right to delete an issue.
Comments: fixed in 1.3