Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doc: fix broken forum links #5249

Merged
merged 3 commits into from
May 30, 2024
Merged

doc: fix broken forum links #5249

merged 3 commits into from
May 30, 2024

Conversation

jdrueckert
Copy link
Member

Fixes #5247

@jdrueckert jdrueckert added Type: Bug Issues reporting and PRs fixing problems Category: Doc Requests, Issues and Changes targeting javadoc and module documentation Size: S Small effort likely only affecting a single area and requiring little to no research labels May 30, 2024
@jdrueckert jdrueckert added this to the 2023 Revive - Milestone 3 milestone May 30, 2024
@jdrueckert jdrueckert self-assigned this May 30, 2024
@BenjaminAmos BenjaminAmos merged commit 6fd4cc9 into develop May 30, 2024
10 checks passed
@BenjaminAmos BenjaminAmos deleted the doc/fix-forum-links branch May 30, 2024 21:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Category: Doc Requests, Issues and Changes targeting javadoc and module documentation Size: S Small effort likely only affecting a single area and requiring little to no research Type: Bug Issues reporting and PRs fixing problems
Projects
Status: Done
Status: No status
Development

Successfully merging this pull request may close these issues.

Outdated Documentation and Broken Links
2 participants