[webkit-reviews] review requested: [Bug 32641] The selected property of <option> elements is not always up to date : [Attachment 46156] Valid (this time!) patch

[bugzilla-daemon at webkit.org]

James Robinson <jamesr at chromium.org> has asked	for review:
Bug 32641: The selected property of <option> elements is not always up to date
https://bugs.webkit.org/show_bug.cgi?id=32641

Attachment 46156: Valid (this time!) patch
https://bugs.webkit.org/attachment.cgi?id=46156&action=review

------- Additional Comments from James Robinson <jamesr at chromium.org>
Sorry about all the churn, guys.  Apparently that last patch was malformed. 
I've uploaded a new patch generated from a clean SVN repo so hopefully all is
good now.