[Webkit-unassigned] [Bug 257611] Add priority for Highlight

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=257611

--- Comment #5 from EWS <ews-feeder at webkit.org> ---
Committed 265812 at main (3b510397ce89): <https://commits.webkit.org/265812@main>

Reviewed commits have been landed. Closing PR #14879 and removing active labels.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20230706/49166859/attachment.htm>