Skip to content

chore(java-runtime): fix spelling in comment#4511

Merged
mergify[bot] merged 3 commits intoaws:mainfrom
TimothyJones:fix-typo
May 14, 2024
Merged

chore(java-runtime): fix spelling in comment#4511
mergify[bot] merged 3 commits intoaws:mainfrom
TimothyJones:fix-typo

Conversation

@TimothyJones
Copy link
Copy Markdown
Contributor

@TimothyJones TimothyJones commented May 12, 2024

Small typo I noticed while looking at the process handing code


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

@mrgrain mrgrain changed the title chore(java-runtime): Correct spelling in comment chore(java-runtime): fix spelling in comment May 14, 2024
@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 14, 2024

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 May 14, 2024
@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 14, 2024

Merging (with squash)...

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 14, 2024

Merging (with squash)...

@mergify mergify Bot merged commit 2f3ed08 into aws:main May 14, 2024
@mergify mergify Bot removed the pr/ready-to-merge This PR is ready to be merged. label May 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants