From f8354ecdea28e71f6e1d06323dd1a3e17beaf72f Mon Sep 17 00:00:00 2001 From: Nicolo Maio Date: Fri, 10 May 2024 14:43:19 +0200 Subject: [PATCH] Update dist (#8388) --- httpdocs/dist | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/httpdocs/dist b/httpdocs/dist index d27683eeaac2..384780309897 160000 --- a/httpdocs/dist +++ b/httpdocs/dist @@ -1 +1 @@ -Subproject commit d27683eeaac212fdef64f9fa765f3c8903291f6f +Subproject commit 384780309897e8a53769bbc288e027afd54b944b