On Nov 14, 2022, at 2:38 PM, Darin Adler via webkit-dev <webkit-dev@lists.webkit.org> wrote:

A couple days ago I created a pull request for part of this:

<6434.png>

Don't convert the bugs.webkit.org version to a label when creating a pull request by darinadler · Pull Request #6434 · WebKit/WebKit github.com

Anyone interested in reviewing?

— Darin

_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev