diff --git a/httpdocs/dist b/httpdocs/dist index 3d3a5ed4e9..b84f7ec8a2 160000 --- a/httpdocs/dist +++ b/httpdocs/dist @@ -1 +1 @@ -Subproject commit 3d3a5ed4e9417245954015fbe27887f750da95e2 +Subproject commit b84f7ec8a2b4b133a336102470aeef356146765f