PORTAL: Added latest changes

toniginard · toniginard · commit d7e4f5222b79 · 2023-09-26T14:22:58.000+02:00
diff --git a/html/portal b/html/portal
@@ -1 +1 @@
-Subproject commit c2cec0c34aec0f71c8c07167890988f2c18fba76
+Subproject commit 8a0080107f938bd3802e0415b7ebe73359abffb7
