Skip to content

Remove outdated references to GitHub issues and comments.#46

Merged
scrummer merged 1 commit into1.xfrom
update-branding-names
Feb 12, 2026
Merged

Remove outdated references to GitHub issues and comments.#46
scrummer merged 1 commit into1.xfrom
update-branding-names

Conversation

@scrummer
Copy link
Member

No description provided.

@scrummer scrummer requested a review from solverat February 12, 2026 13:07
@scrummer scrummer self-assigned this Feb 12, 2026
@solverat solverat added the documentation Improvements or additions to documentation label Feb 12, 2026
@scrummer scrummer merged commit 4f6d9bc into 1.x Feb 12, 2026
11 checks passed
@scrummer scrummer deleted the update-branding-names branch February 12, 2026 13:09
@github-actions github-actions bot locked and limited conversation to collaborators Feb 12, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants