Do we have (or want) a policy on when a company is listed as a contributor,
whether contributing employees of that company should be listed
individually?
Right now we seem to have examples for both yes and no.
Personally, I don't feel strongly about it either way, but would weakly
prefer
to avoid the duplication, i.e. since "Imagination Technologies" is listed,
I'd
drop all individual *@imgtec.com entries (and do the same for *@arm.com and
*@intel.com).
https://codereview.chromium.org/399243002/
--
--
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.