Skip to content

General maintenance: Alex313031.Mercury version 129.0.2#382830

Merged
microsoft-github-policy-service[bot] merged 1 commit into
microsoft:masterfrom
DandelionSprout:patch-742494
Jun 2, 2026
Merged

General maintenance: Alex313031.Mercury version 129.0.2#382830
microsoft-github-policy-service[bot] merged 1 commit into
microsoft:masterfrom
DandelionSprout:patch-742494

Conversation

@DandelionSprout
Copy link
Copy Markdown
Contributor

@DandelionSprout DandelionSprout commented Jun 2, 2026

📖 Description

  • Changed PackageName to reflect it's the AVX1 version, as opposed to the SSE3/4 versions.
  • Tags maintenance.
  • Replaced (c) with © for professionality.

✅ Checklist

📦 Manifest Checklist

  • Checked that there aren't other open pull requests for the same manifest update/change
  • This PR only modifies one (1) manifest
  • Validated manifest locally with winget validate --manifest <path> (validation guide)
  • Tested manifest locally with winget install --manifest <path>
  • Manifest conforms to the 1.12 schema

Note: <path> is the directory containing the manifest you're submitting.

Microsoft Reviewers: Open in CodeFlow

@wingetbot
Copy link
Copy Markdown
Collaborator

Validation Pipeline Run WinGetSvc-Validation-142-382830-20260602-1

@wingetbot wingetbot added Azure-Pipeline-Passed Validation pipeline passed. There may still be manual validation requirements. Validation-Completed Validation passed labels Jun 2, 2026
@microsoft-github-policy-service microsoft-github-policy-service Bot enabled auto-merge (squash) June 2, 2026 21:35
@stephengillie stephengillie added the Moderator-Approved One of the Moderators has reviewed and approved this PR label Jun 2, 2026
@microsoft-github-policy-service microsoft-github-policy-service Bot merged commit ac859f4 into microsoft:master Jun 2, 2026
1 check passed
@wingetbot
Copy link
Copy Markdown
Collaborator

Publish pipeline succeeded for this Pull Request. Once you refresh your index, this change should be present.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Azure-Pipeline-Passed Validation pipeline passed. There may still be manual validation requirements. Moderator-Approved One of the Moderators has reviewed and approved this PR Publish-Pipeline-Succeeded Validation-Completed Validation passed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants