[webkit-reviews] review requested: [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 06:40:46 PST 2019


Antoine Quint <graouts at apple.com> has asked  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




--- Comment #1 from Antoine Quint <graouts at apple.com> ---
Created attachment 361052

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

Patch


More information about the webkit-reviews mailing list