Rebuild index.html.gz (#20724)

diff --git a/tools/server/public/index.html.gz b/tools/server/public/index.html.gz
index 96fddda64f6f2dac913d4fabe809fbf1a8876a15..07f7b7e422b66f4c4ce130f0f1178c7b23d37e7a 100644 (file)
Binary files a/tools/server/public/index.html.gz and b/tools/server/public/index.html.gz differ