Docker pull tag still works after deleting tag in hug.docker.com

Hi,

After deleting a tag for a particular repository, the image can still pulled from hub.docker.com, looks like its a bug to me if not how do we ensure that deleted tags can no longer be retrieve from hub.docker.com?

Regards,

Jeff

Reviving this issue --> We just ran into the same problem:
We can still pull an image by a tag which has been deleted. The tag does not show up in the tag list, but you can still pull it!

How can we be certain that a deleted tag can no longer be pulled. This can be crucial to disable pulling of certain tags.