Just wondering - is everyone good with this change? https://github.com/cdi-spec/cdi/pull/327 If so, can it be merged?

github.com
Based on F2F feedback, clarifying what happens when its in both places.


NOTICE: This e-mail message and any attachments may contain confidential, proprietary, and/or privileged information which should be treated accordingly. If you are not the intended recipient, please notify the sender immediately by return e-mail, delete this message, and destroy all physical and electronic copies. Thank you.