RESOLVED FIXED Bug 116719
Update WTF::Vector pretty printers 
https://bugs.webkit.org/show_bug.cgi?id=116719
Summary Update WTF::Vector pretty printers
Simon Pena
Reported 2013-05-24 06:37:46 PDT
Update WTF::Vector pretty printers
Attachments
Patch (1.63 KB, patch)
2013-05-24 06:43 PDT, Simon Pena 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Simon Pena
Comment 1 2013-05-24 06:43:35 PDT
Created attachment 202811 [details] Patch
Simon Pena
Comment 2 2013-05-24 06:45:16 PDT
WTF::Vector pretty printer in Tools/gdb/webkit.py was left outdated after r148891.
WebKit Commit Bot
Comment 3 2013-05-24 07:48:00 PDT
Comment on attachment 202811 [details] Patch Clearing flags on attachment: 202811 Committed r150640: <http://trac.webkit.org/changeset/150640>
WebKit Commit Bot
Comment 4 2013-05-24 07:48:01 PDT
All reviewed patches have been landed. Closing bug.
Jer Noble
Comment 5 2013-05-24 10:06:04 PDT
Thanks Simon! I had meant to do this myself, but got distracted.
Simon Pena
Comment 6 2013-05-28 01:23:18 PDT
(In reply to comment #5) > Thanks Simon! I had meant to do this myself, but got distracted. You're welcome! It was the typical thing I found while investigating a different issue :)
Note You need to log in before you can comment on or make changes to this bug.