I don't think there is a single case (today) where we want a private symbol
that
is not own.
Suggestion: Once this lands. Change all the internal usages to private own.
Then
remove the private non own symbol.
https://codereview.chromium.org/464473002/
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
