Skip to content

Add update header note to docs#4587

Merged
jurrejelle merged 2 commits into1.20.1from
jj/update-7.5.1-docs
Feb 9, 2026
Merged

Add update header note to docs#4587
jurrejelle merged 2 commits into1.20.1from
jj/update-7.5.1-docs

Conversation

@jurrejelle
Copy link
Contributor

No description provided.

@jurrejelle jurrejelle requested a review from a team as a code owner February 9, 2026 07:18
@jurrejelle jurrejelle added Documentation Improvements or additions to documentation ignore changelog PR should not be added to the changelog. 1.20.1 Release: Patch - 0.0.X Smaller changes that either are bug fixes or very minor tweaks. labels Feb 9, 2026
@jurrejelle jurrejelle merged commit 94791f4 into 1.20.1 Feb 9, 2026
4 checks passed
@jurrejelle jurrejelle deleted the jj/update-7.5.1-docs branch February 9, 2026 07:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

1.20.1 Documentation Improvements or additions to documentation ignore changelog PR should not be added to the changelog. Release: Patch - 0.0.X Smaller changes that either are bug fixes or very minor tweaks.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants