[webkit-reviews] review granted: [Bug 25517] build-webkit script should print build time at end : [Attachment 38940] Patch for bug 25517 revision 3: better coding guideline, nice formatting for build time

[bugzilla-daemon at webkit.org]

David Kilzer (ddkilzer) <ddkilzer at webkit.org> has granted Laurent Cerveau
<lcerveau at me.com>'s request for review:
Bug 25517: build-webkit script should print build time at end
https://bugs.webkit.org/show_bug.cgi?id=25517

Attachment 38940: Patch for bug 25517 revision 3: better coding guideline, nice
formatting for build time
https://bugs.webkit.org/attachment.cgi?id=38940&action=review

------- Additional Comments from David Kilzer (ddkilzer) <ddkilzer at webkit.org>
Great!	r=me