Duplicate of #1173
# --------------------------------------------------------------------------------
# This comment was copied from #2490819 when duplicate sentences were merged.
# --------------------------------------------------------------------------------
Thanks for pointing that out. I already linked the duplicates some time ago, which seemed to be the best workaround for the time being. As Alan wrote on the Wall, he and others are already working on a new script to merge duplicates. Since merging, unlike deleting, does not rip holes in the database and keeps the logs short, I think of it as the best solution. We’ll just have to be patient for a little while longer. ☺
# --------------------------------------------------------------------------------
# This comment was copied from #2490819 when duplicate sentences were merged.
# --------------------------------------------------------------------------------
Duplicates of this sentence have been deleted:
x #2490819