Skip to content

Better document trait merging#1895

Merged
mtdowling merged 1 commit intomainfrom
trait-merging-docs
Aug 1, 2023
Merged

Better document trait merging#1895
mtdowling merged 1 commit intomainfrom
trait-merging-docs

Conversation

@mtdowling
Copy link
Copy Markdown
Member

Issue #, if available: Closes #1744

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

@mtdowling mtdowling requested a review from a team as a code owner August 1, 2023 15:56
@mtdowling mtdowling merged commit 1692463 into main Aug 1, 2023
@mtdowling mtdowling deleted the trait-merging-docs branch September 11, 2023 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Required trait removal doesn't emit any events - should it?

2 participants