discoproject/disco — pull request #537 by pooya (2014-06-12 15:32:38+00:00)
Title: ddfs_tag: remove tag from the deleted list even if it is missing.

When a tag has the {missing, notfound} status, we still have to remove it from
the +deleted tag in case it is delected.