Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update core tools version to 4.19.2 #3363

Merged
merged 1 commit into from
May 8, 2023
Merged

Update core tools version to 4.19.2 #3363

merged 1 commit into from
May 8, 2023

Conversation

v-smanchem
Copy link
Contributor

Issue describing the changes in this PR

resolves #issue_for_this_pr

Pull request checklist

  • My changes do not require documentation changes
    • Otherwise: Documentation issue linked to PR
  • My changes do not need to be backported to a previous version
    • Otherwise: Backport tracked by issue/PR #issue_or_pr
  • I have added all required tests (Unit tests, E2E tests)

@v-smanchem v-smanchem merged commit 94c549d into v4.x May 8, 2023
@v-smanchem v-smanchem deleted the updatehostversion4.19.2 branch May 8, 2023 21:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@VpOfEngineering VpOfEngineering VpOfEngineering approved these changes

@vrdmr vrdmr Awaiting requested review from vrdmr

@Francisco-Gamino Francisco-Gamino Awaiting requested review from Francisco-Gamino

@amamounelsayed amamounelsayed Awaiting requested review from amamounelsayed

@alrod alrod Awaiting requested review from alrod

@michaelpeng36 michaelpeng36 Awaiting requested review from michaelpeng36

@AnatoliB AnatoliB Awaiting requested review from AnatoliB

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@v-smanchem @VpOfEngineering