Skip to content

Conversation

JoviDeCroock
Copy link
Member

Backports #4228 from v17

@JoviDeCroock JoviDeCroock requested a review from a team as a code owner November 8, 2024 08:52
Copy link

github-actions bot commented Nov 8, 2024

Hi @JoviDeCroock, I'm @github-actions bot happy to help you with this PR 👋

Supported commands

Please post this commands in separate comments and only one per comment:

  • @github-actions run-benchmark - Run benchmark comparing base and merge commits for this PR
  • @github-actions publish-pr-on-npm - Build package from this PR and publish it on NPM

@JoviDeCroock JoviDeCroock added the PR: bug fix 🐞 requires increase of "patch" version number label Nov 8, 2024
@JoviDeCroock JoviDeCroock merged commit 4ef0428 into 16.x.x Nov 8, 2024
31 checks passed
@JoviDeCroock JoviDeCroock deleted the backport-gap-in-spec branch December 17, 2024 09:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: bug fix 🐞 requires increase of "patch" version number
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants