RESOLVED FIXED 255814
[ews-build.webkit.org] Delete close_pr function 
https://bugs.webkit.org/show_bug.cgi?id=255814
Summary [ews-build.webkit.org] Delete close_pr function
Jonathan Bedard
Reported 2023-04-21 17:16:56 PDT
The close_pr function is dead code. Delete it.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2023-04-21 17:18:37 PDT
<rdar://problem/108391621>
Jonathan Bedard
Comment 2 2023-04-21 17:20:03 PDT
Pull request: https://github.com/WebKit/WebKit/pull/13055
EWS
Comment 3 2023-04-24 14:14:55 PDT
Committed 263333@main (b06b36da9391): <https://commits.webkit.org/263333@main> Reviewed commits have been landed. Closing PR #13055 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.