Skip to content

Conversation

jchavarri
Copy link
Member

@jchavarri jchavarri commented Aug 15, 2023

This branch is not for merging purposes, just used as a way to apply changes to the v1.0.0 version.

We are backporting:

The v1.0.0 tag was changed to point to the most recent commit in this PR so that mike publication ci job can kick in (before it was pointing to b2d5138).

We might want to keep this branch around in case we need to reapply other patches from master.

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.

3 participants