RESOLVED FIXED 254547
Deduplicate headers in generated GeneratedSerializers file 
https://bugs.webkit.org/show_bug.cgi?id=254547
Summary Deduplicate headers in generated GeneratedSerializers file
Sihui Liu
Reported 2023-03-27 14:19:15 PDT
...
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2023-03-27 14:19:52 PDT
<rdar://problem/107283996>
Sihui Liu
Comment 2 2023-03-27 14:22:07 PDT
Pull request: https://github.com/WebKit/WebKit/pull/12025
EWS
Comment 3 2023-04-05 10:58:12 PDT
Committed 262625@main (40ad31196021): <https://commits.webkit.org/262625@main> Reviewed commits have been landed. Closing PR #12025 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.