[webkit-reviews] review granted: [Bug 45949] getPropertyValue('border') is incorrect after border-top-width is set : [Attachment 67888] Patch

[bugzilla-daemon at webkit.org]

Adam Barth <abarth at webkit.org> has granted James Kozianski <koz at chromium.org>'s
request for review:
Bug 45949: getPropertyValue('border') is incorrect after border-top-width is
set
https://bugs.webkit.org/show_bug.cgi?id=45949

Attachment 67888: Patch
https://bugs.webkit.org/attachment.cgi?id=67888&action=review

------- Additional Comments from Adam Barth <abarth at webkit.org>
This seems correct.  It's a bit outside of my area, but it seems safe
enough....  (Famous last words?)