chore: update spec#710

hamdiallam merged 1 commit intoethereum-optimism:05-12-sent_message_context_sentmessage.contextethereum-optimism/specs:05-12-sent_message_context_sentmessage.contextfrom

defi-wonderland:05-12-sent_message_context_sentmessage.contextdefi-wonderland/specs:05-12-sent_message_context_sentmessage.contextCopy head branch name to clipboard