Skip to content

Conversation

@cjwilburn
Copy link
Contributor

@cjwilburn cjwilburn commented Jul 25, 2023

Updating docs post docs merge.

@cjwilburn cjwilburn requested a review from abdonpijpelink July 25, 2023 22:00
@cjwilburn cjwilburn self-assigned this Jul 25, 2023
@cjwilburn cjwilburn added the docs-build Relates to the build tooling and scripts label Jul 25, 2023
Copy link
Contributor

@jrodewig jrodewig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@cjwilburn cjwilburn closed this Jul 25, 2023
@cjwilburn
Copy link
Contributor Author

closing in favor of #2709

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs-build Relates to the build tooling and scripts

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants