Skip to content

Conversation

@phadej
Copy link
Collaborator

@phadej phadej commented Apr 5, 2021

  • Add kind annotations
  • Add role annotations

- Add kind annotations
- Add role annotations
@phadej phadej force-pushed the polykinds-deepseq branch from c2f07e5 to 6286d44 Compare April 5, 2021 12:22
@phadej phadej merged commit 809a996 into master Apr 5, 2021
@phadej phadej deleted the polykinds-deepseq branch April 5, 2021 12:34
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.

2 participants