2. Block indexing completely. Seems like no one was bothered by lack of indexing on new bugs so far.
Spam problem seems worse than not being indexed.If you want to search for WebKit bugs, you can do that on WebKit Bugzilla, right?
Michael _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev