Skip to content

[DOCS] Polish the changelog - #1404

Merged
JakeQZ merged 1 commit into
mainfrom
docs/followup
Dec 2, 2025
Merged

[DOCS] Polish the changelog#1404
JakeQZ merged 1 commit into
mainfrom
docs/followup

Conversation

@oliverklee

Copy link
Copy Markdown
Collaborator

No description provided.

@coveralls

Copy link
Copy Markdown

Coverage Status

coverage: 62.467%. remained the same
when pulling 3cfbbff on docs/followup
into 8be4011 on main.

@JakeQZ JakeQZ left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

I also noticed later that the operators should probably have backticks.

And that the new changelog entry should be above the previous one - #1399 (comment).

@JakeQZ
JakeQZ merged commit e04adbb into main Dec 2, 2025
23 checks passed
@JakeQZ
JakeQZ deleted the docs/followup branch December 2, 2025 19:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants