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

docs: clarify that other tools may not be in PPA #6407

Merged
merged 1 commit into from
Dec 15, 2024

Conversation

kmk3
Copy link
Collaborator

@kmk3 kmk3 commented Jul 15, 2024

Relates to #6406.

Reported-by: @Lidoca
Cc: @reinerh

@kmk3 kmk3 added the documentation Issues and pull requests related to the documentation label Jul 15, 2024
@kmk3 kmk3 force-pushed the docs-readme-firetools branch from 69bc872 to bba4af3 Compare July 15, 2024 11:29
Copy link
Collaborator

@glitsj16 glitsj16 left a comment

Choose a reason for hiding this comment

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

LGTM

@kmk3 kmk3 marked this pull request as draft July 20, 2024 14:10
@netblue30 netblue30 marked this pull request as ready for review December 15, 2024 14:51
@netblue30 netblue30 merged commit 01c5dc4 into netblue30:master Dec 15, 2024
1 check passed
@netblue30
Copy link
Owner

Merged!

@kmk3 kmk3 deleted the docs-readme-firetools branch December 15, 2024 18:17
kmk3 added a commit that referenced this pull request Dec 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Issues and pull requests related to the documentation
Projects
Status: Done (on RELNOTES)
Development

Successfully merging this pull request may close these issues.

3 participants