Hi,
On Sun, 2012-11-11 at 16:51 +0100, Federico Leva (Nemo) wrote:
Andre, the answer is in this one-line comment by Brion: https://bugzilla.wikimedia.org/show_bug.cgi?id=16614#c3 None of this bugs should be closed unless both the reported occurrence and the underlying problem are fixed.
In that case Brion might have changed his opinion, as https://bugzilla.wikimedia.org/show_bug.cgi?id=2930#c13 to c16 all are occurrences closed as duplicates of the underlying code problem, but these occurrences have not been fixed. That's the same what I did in comment 23 to 25. :)
As for the noisy search results, the problem is https://bugzilla.wikimedia.org/show_bug.cgi?id=39644
Fixed now.
andre