From 7bc458e204c6cdd730f7ea46b6ff0482744103ab Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Tue, 2 Jul 2019 13:19:02 +0200
Subject: [PATCH] 7.3.7 and 7.2.20 distributions

---
 distributions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/distributions b/distributions
index 792940b45..bbcefd8e1 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit 792940b45cd2f35b6f8dbb5b189fe768eac9e653
+Subproject commit bbcefd8e1dec9c2d2081165b33c3824b65f318b1