Skip to content

Conversation

@nastra
Copy link
Contributor

@nastra nastra commented Jun 3, 2022

No description provided.

@github-actions github-actions bot added the docs label Jun 3, 2022
@nastra nastra requested a review from samredai June 3, 2022 12:30
@nastra nastra requested a review from RussellSpitzer June 14, 2022 13:17
@nastra
Copy link
Contributor Author

nastra commented Jun 20, 2022

@RussellSpitzer could you merge this one please?

@rdblue
Copy link
Contributor

rdblue commented Jun 29, 2022

@samredai, is this still needed?

@rdblue rdblue closed this Jun 29, 2022
@rdblue rdblue reopened this Jun 29, 2022
@nastra
Copy link
Contributor Author

nastra commented Jun 30, 2022

I think this isn't needed anymore after #5115

@nastra nastra closed this Jun 30, 2022
@nastra nastra deleted the 0.13.2-docs branch June 30, 2022 06:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants