Can we just get rid of all this?
That would be nice. These labels are not useful for pull requests. _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
