Skip to content

Bump plover-plugins-manager to 0.7.2#1700

Merged
mkrnr merged 2 commits intomainfrom
plover-plugins-manager-0.7.2
Feb 1, 2025
Merged

Bump plover-plugins-manager to 0.7.2#1700
mkrnr merged 2 commits intomainfrom
plover-plugins-manager-0.7.2

Conversation

@mkrnr
Copy link
Contributor

@mkrnr mkrnr commented Feb 1, 2025

Summary of changes

Bump plover-plugins-manager to 0.7.2 to include changes like opensteno/plover_plugins_manager#21.

Tests

Installed the macOS DMG file created via the GitHub actions (on M1 mac). The install via git feature works (tested with plover2cat).

Pull Request Checklist

  • Changes have tests
  • News fragment added in news.d. See documentation for details

@mkrnr mkrnr requested a review from greenwyrt February 1, 2025 07:00
@mkrnr mkrnr marked this pull request as ready for review February 1, 2025 07:00
@mkrnr mkrnr merged commit 99ec10b into main Feb 1, 2025
12 checks passed
@mkrnr mkrnr deleted the plover-plugins-manager-0.7.2 branch February 1, 2025 07:53
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