diff --git a/src/pro b/src/pro
index 6db7b64bf..4e719b851 160000
--- a/src/pro
+++ b/src/pro
@@ -1 +1 @@
-Subproject commit 6db7b64bf05a59c2ab7f66b032065d17ebc82a5c
+Subproject commit 4e719b8514df94c81fb8188bc4325fee75158c68