[webkit-reviews] review granted: [Bug 194217] Use a dedicated type instead of int32_t for pointer identifiers : [Attachment 361052] Patch

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon Feb 4 07:26:47 PST 2019


Antti Koivisto <koivisto at iki.fi> has granted Antoine Quint
<graouts at apple.com>'s request for review:
Bug 194217: Use a dedicated type instead of int32_t for pointer identifiers
https://bugs.webkit.org/show_bug.cgi?id=194217

Attachment 361052: Patch

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


More information about the webkit-reviews mailing list