Skip to content

Conversation

@oliverklee
Copy link
Collaborator

No description provided.

@oliverklee oliverklee requested a review from JakeQZ February 13, 2025 08:44
@oliverklee oliverklee self-assigned this Feb 13, 2025
@oliverklee oliverklee changed the title [DOCS] Fix a PR id in the changelog [DOCS] Fix a PR ID in the changelog Feb 13, 2025
@coveralls
Copy link

coveralls commented Feb 13, 2025

Coverage Status

coverage: 49.156%. remained the same
when pulling be2a9b2 on docs/pr-id
into 537f5e8 on main.

Copy link
Collaborator

@JakeQZ JakeQZ left a comment

Choose a reason for hiding this comment

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

I've just noticed the backport has #90 in the changelog, so that will need correcting too :/

@JakeQZ JakeQZ merged commit 8821cfb into main Feb 13, 2025
21 checks passed
@JakeQZ JakeQZ deleted the docs/pr-id branch February 13, 2025 22:07
@oliverklee
Copy link
Collaborator Author

I've just noticed the backport has #90 in the changelog, so that will need correcting too :/

Fixed in #920.

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.

4 participants