Bump plover-plugins-manager to 0.7.2 (#1700)

mkrnr · web-flow · commit 99ec10bfbf5b · 2025-02-01T08:53:03.000+01:00
diff --git a/news.d/feature/1700.ui.md b/news.d/feature/1700.ui.md
@@ -0,0 +1 @@
+Added a button to the Plugins Manager for installing plugins via Git URL.
diff --git a/reqs/constraints.txt b/reqs/constraints.txt
@@ -33,7 +33,7 @@ packaging==21.0
 pep517==0.12.0
 pip==21.3.1
 pkginfo==1.8.1
-plover-plugins-manager==0.7.0
+plover-plugins-manager==0.7.2
 plover-stroke==1.1.0
 plover-treal==1.0.1
 pluggy==1.0.0

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Added a button to the Plugins Manager for installing plugins via Git URL.`