Skip to content

Add missing link to HowTo - #34

Merged
DebakelOrakel merged 1 commit into
masterfrom
doc/missing-howto
Apr 2, 2026
Merged

DebakelOrakel merged 1 commit into
masterfrom
doc/missing-howto

Conversation

@DebakelOrakel

@DebakelOrakel DebakelOrakel commented Apr 2, 2026 •

Copy link
Copy Markdown
Contributor

Checklist

  • The PR has a meaningful title. It will be used to auto-generate the
    changelog.
    The PR has a meaningful description that sums up the change. It will be
    linked in the changelog.
  • PR contains a single logical change (to build a better changelog).
  • Update the documentation.
  • Categorize the PR by adding one of the labels:
    bug, enhancement, documentation, change, breaking, dependency
    as they show up in the changelog.
  • Link this PR to related issues or PRs.

@DebakelOrakel DebakelOrakel added the documentation Improvements or additions to documentation label Apr 2, 2026
@DebakelOrakel
DebakelOrakel requested a review from a team April 2, 2026 13:37
@DebakelOrakel
DebakelOrakel merged commit 0711d22 into master Apr 2, 2026
7 checks passed
@DebakelOrakel
DebakelOrakel deleted the doc/missing-howto branch April 2, 2026 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants