[webkit-reviews] review granted: [Bug 139822] Drop useless HTMLMediaElement::m_previousProgress member : [Attachment 243559] Patch

[bugzilla-daemon at webkit.org]

Eric Carlson <eric.carlson at apple.com> has granted Chris Dumez
<cdumez at apple.com>'s request for review:
Bug 139822: Drop useless HTMLMediaElement::m_previousProgress member
https://bugs.webkit.org/show_bug.cgi?id=139822

Attachment 243559: Patch

https://bugs.webkit.org/attachment.cgi?id=243559&action=review