Skip to content

Conversation

@bgregoir
Copy link
Contributor

Description

Please include a summary of the changes and the related issue (if applicable). Please also include relevant motivation and context. List any dependencies that are required for this change.

Fixes # (issue)

Checklist

  • [] Add a changelog entry in changes if the PR is a user-visible change
  • Add one or several tests to compiler/tests if it makes sense, especially if it is a bug fix
  • Update the documentation if needed

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