Skip to content

Conversation

adamgreig
Copy link
Member

This got missed in #448; this PR copies the documentation added in #451 to the v0.7.x branch.

@adamgreig adamgreig requested a review from a team as a code owner January 3, 2023 18:00
@adamgreig
Copy link
Member Author

bors r=thejpster

@bors
Copy link
Contributor

bors bot commented Jan 4, 2023

Build succeeded:

@bors bors bot merged commit bb4a782 into v0.7.x Jan 4, 2023
@bors bors bot deleted the 0.7.7 branch January 4, 2023 01:29
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