Skip to content

Documentation: Fix grammar and update CMake version in Troubleshootin… #26403

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Documentation: Fix grammar and update CMake version in Troubleshootin… #26403

wants to merge 1 commit into from
+2 −2

Conversation

@garry00107
Copy link
Contributor

@garry00107 garry00107 commented Nov 15, 2025

  • Fix grammar: 'In case of an error, you might find an answer of how to deal it here' -> 'If you encounter an error, you might find a solution here'
  • Update minimum CMake version from 3.16 to 3.25 to match current requirements in BuildInstructions.md

@garry00107
Documentation: Fix grammar and update CMake version in Troubleshootin…
827ddeb 
…g guide

- Fix grammar: 'In case of an error, you might find an answer of how
  to deal it here' -> 'If you encounter an error, you might find a
  solution here'
- Update minimum CMake version from 3.16 to 3.25 to match current
  requirements in BuildInstructions.md
@github-actions github-actions bot added the 👀 pr-needs-review PR needs review from a maintainer or community member label Nov 15, 2025
@BuggieBot
Copy link
Member

BuggieBot commented Nov 15, 2025

Hello!

One or more of the commit messages in this PR do not match the SerenityOS code submission policy, please check the lint_commits CI job for more details on which commits were flagged and why.
Please do not close this PR and open another, instead modify your commit message(s) with git commit --amend and force push those changes to update this PR.

@spholz spholz added ⏳ pr-waiting-for-author PR is blocked by feedback / code changes from the author and removed 👀 pr-needs-review PR needs review from a maintainer or community member labels Nov 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

⏳ pr-waiting-for-author PR is blocked by feedback / code changes from the author

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@garry00107 @BuggieBot @spholz