Skip to content

Conversation

rchinn1
Copy link
Contributor

@rchinn1 rchinn1 commented May 8, 2025

Proposed changes

  • Edits to the install page
  • Additional misc. fixes

Merge timing

  • Once approved

Related issues (optional)

@rchinn1 rchinn1 requested a review from a team as a code owner May 8, 2025 15:09
@rchinn1 rchinn1 added the fixed-content fix to content that has outdated or wrong information label May 8, 2025
@rchinn1 rchinn1 requested a review from sade-wusi May 8, 2025 15:09
@rchinn1 rchinn1 merged commit a1d9729 into develop May 8, 2025
4 checks passed
@rchinn1 rchinn1 deleted the random-edits branch May 8, 2025 16:21
Copy link
Contributor

github-actions bot commented May 8, 2025

Thank you for your contribution! Your pull request is merged, but may take a day or two to appear on the site.

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

Labels

fixed-content fix to content that has outdated or wrong information

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants