diff --git a/httpdocs/dist b/httpdocs/dist index dbcd3527b0..ede7bd1eff 160000 --- a/httpdocs/dist +++ b/httpdocs/dist @@ -1 +1 @@ -Subproject commit dbcd3527b0cf502dbb8ca218a4786db74c6985cc +Subproject commit ede7bd1effd0f02e1d454991d49b7aedea52567c