diff --git a/httpdocs/dist b/httpdocs/dist
index a6acb3eb0f54..5416cf097398 160000
--- a/httpdocs/dist
+++ b/httpdocs/dist
@@ -1 +1 @@
-Subproject commit a6acb3eb0f54a47fa85ff6c02f94debeca213b2f
+Subproject commit 5416cf09739811e6fb47ee83506f878643ff748a