diff --git a/dist/version b/dist/version
index 382b01ca1..5d27128f9 100644
--- a/dist/version
+++ b/dist/version
@@ -1 +1 @@
-1.19.7.1
+1.19.7.2