Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Made meta.source and meta.source.domainId optional #116

Merged
merged 1 commit into from Feb 23, 2017

Conversation

d-stahl-ericsson
Copy link
Contributor

As per issue #113. Also removed meta.source from the majority
of examples. In cases where there are multiple examples of the
same event, these were changed so that various forms of expressing
meta.source are exemplified.

As per issue eiffel-community#113. Also removed meta.source from the majority
of examples. In cases where there are multiple examples of the
same event, these were changed so that various forms of expressing
meta.source are exemplified.
@d-stahl-ericsson d-stahl-ericsson merged commit b0ff561 into eiffel-community:master Feb 23, 2017
@d-stahl-ericsson d-stahl-ericsson deleted the issue113 branch September 13, 2018 10:31
@magnusbaeck magnusbaeck added the protocol All protocol changes label Nov 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
protocol All protocol changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants