CC webkit-bot-watchers whenever the bots touch bugs
Created attachment 43979 [details] Patch
Created attachment 43980 [details] Patch
Comment on attachment 43980 [details] Patch OK. It should eventually be a lists.webkit.org list I think. But Google Groups is certainly easier to setup as you don't have to talk to any webkit.org admins. :)
Committed r51463: <http://trac.webkit.org/changeset/51463>