Don't ignore ignored items forever (fixes #816)
Merge pull request #1134 from syncthing/fix-816

Don't ignore ignored items forever (fixes #816)