Skip to content

Conversation

@rix0rrr
Copy link
Contributor

@rix0rrr rix0rrr commented Nov 7, 2025

Without this entry it will not be symlinked into the right spot.


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

….json`

Without this entry it will not be symlinked into the right spot.
@rix0rrr rix0rrr requested a review from a team November 7, 2025 10:34
@mergify mergify bot added the contribution/core This is a PR that came from AWS. label Nov 7, 2025
@mergify
Copy link
Contributor

mergify bot commented Nov 7, 2025

Thank you for contributing! ❤️ I will now look into making sure the PR is up-to-date, then proceed to try and merge it!

@mergify mergify bot added the pr/ready-to-merge This PR is ready to be merged. label Nov 7, 2025
@mergify
Copy link
Contributor

mergify bot commented Nov 7, 2025

Merging (with squash)...

@mergify mergify bot added the queued label Nov 7, 2025
@mergify mergify bot merged commit b6c0a35 into main Nov 7, 2025
40 checks passed
@mergify mergify bot deleted the huijbers/bin branch November 7, 2025 11:08
@mergify mergify bot removed pr/ready-to-merge This PR is ready to be merged. queued labels Nov 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

contribution/core This is a PR that came from AWS.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants