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

Fix loose ends in documentation after renaming plugin hrefs #3115

Merged
merged 1 commit into from
Jul 29, 2024

Conversation

happz
Copy link
Collaborator

@happz happz commented Jul 29, 2024

Hopefully a wrap up of #3104

Pull Request Checklist

  • implement the feature

@happz happz added documentation Improvements or additions to documentation code | trivial A simple patch - a couple of lines, an easy-to-understand change, a typo fix. labels Jul 29, 2024
@happz happz added this to the 1.35 milestone Jul 29, 2024
@happz
Copy link
Collaborator Author

happz commented Jul 29, 2024

Documentation-only, and trivial, and a mistake - not waiting for full tests, and merging.

@happz happz merged commit 7a3f34f into main Jul 29, 2024
9 of 19 checks passed
@happz happz deleted the plugins-docs-link-rename-lose-ends branch July 29, 2024 08:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
code | trivial A simple patch - a couple of lines, an easy-to-understand change, a typo fix. documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant