RESOLVED FIXED 204372
Remove dead options "dumpAllDFGNodes"/"showAllDFGNodes" 
https://bugs.webkit.org/show_bug.cgi?id=204372
Summary Remove dead options "dumpAllDFGNodes"/"showAllDFGNodes"
Robin Morisset
Reported 2019-11-19 13:58:16 PST
They are not connected to anything.
Attachments
Patch (1.99 KB, patch)
2020-01-23 18:25 PST, Robin Morisset 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Robin Morisset
Comment 1 2020-01-23 18:25:52 PST
Created attachment 388634 [details] Patch
WebKit Commit Bot
Comment 2 2020-01-23 18:57:17 PST
Comment on attachment 388634 [details] Patch Clearing flags on attachment: 388634 Committed r255048: <https://trac.webkit.org/changeset/255048>
WebKit Commit Bot
Comment 3 2020-01-23 18:57:18 PST
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 4 2020-01-23 18:58:13 PST
<rdar://problem/58857262>
Note You need to log in before you can comment on or make changes to this bug.