Skip to content

Conversation

ccremer
Copy link
Owner

@ccremer ccremer commented Dec 28, 2020

Summary

Checklist

  • Update the documentation.
  • Update tests.
  • Link this PR to related issues.

@ccremer ccremer merged commit 1e38984 into master Dec 29, 2020
@ccremer ccremer added the kind:documentation Changes that are affecting documentation label Dec 29, 2020
@ccremer ccremer deleted the diagram branch December 29, 2020 22:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind:documentation Changes that are affecting documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant