Skip to content

Publish types.#35

Merged
tobiasraabe merged 3 commits intomainfrom
publish-types
Jan 21, 2023
Merged

Publish types.#35
tobiasraabe merged 3 commits intomainfrom
publish-types

Conversation

@tobiasraabe
Copy link
Member

Changes

Provide a description and/or bullet points to describe the changes in this PR.

Todo

  • Reference issues which can be closed due to this PR with "Closes #x".
  • Review whether the documentation needs to be updated.
  • Document PR in CHANGES.md.

@tobiasraabe tobiasraabe added this to the v0.3.0 milestone Jan 9, 2023
@tobiasraabe tobiasraabe merged commit 73139b7 into main Jan 21, 2023
@tobiasraabe tobiasraabe deleted the publish-types branch January 21, 2023 12:26
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.

1 participant