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

minipro: Update to 0.7.2. #27388

Merged
merged 1 commit into from
Jan 18, 2025
Merged

minipro: Update to 0.7.2. #27388

merged 1 commit into from
Jan 18, 2025

Conversation

turbocool3r
Copy link
Contributor

Description

This updates minipro to 0.7.2. Also removes the platform line to satisfy port lint.

Type(s)
  • bugfix
  • enhancement
  • security fix
Tested on

macOS 15.2 24C101 arm64
Xcode 16.2 16C5032a

Verification

Have you

  • followed our Commit Message Guidelines?
  • squashed and minimized your commits?
  • checked that there aren't other open pull requests for the same change?
  • checked your Portfile with port lint?
  • tried existing tests with sudo port test?
  • tried a full install with sudo port -vst install?
  • tested basic functionality of all binary files?
  • checked that the Portfile's most important variants haven't been broken?

@macportsbot
Copy link

Notifying maintainers:
@krischik for port minipro.

@macportsbot macportsbot added type: update maintainer: open Affects an openmaintainer port labels Jan 14, 2025
@reneeotten reneeotten merged commit 9d46c20 into macports:master Jan 18, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
maintainer: open Affects an openmaintainer port type: update
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@turbocool3r @macportsbot @reneeotten