Skip to content

Conversation

@vincentpierre
Copy link
Contributor

No description provided.

@vincentpierre vincentpierre self-assigned this Nov 26, 2019
@vincentpierre vincentpierre merged commit 1096ccb into release-0.12.0 Nov 26, 2019
@delete-merged-branch delete-merged-branch bot deleted the release-0.12.0-hotfix-doc-heuristic branch November 26, 2019 18:58
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 17, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants