deploy: seL4/website@c7d066f

seL4 · Sep 15, 2024 · 9aecedb · 9aecedb
1 parent 436b1f4
commit 9aecedb
Show file tree

Hide file tree

Showing 2 changed files with 133 additions and 133 deletions.
diff --git a/PR_400/Foundation/Summit/2024/social-activities.html b/PR_400/Foundation/Summit/2024/social-activities.html
@@ -117,7 +117,7 @@ <h3>
     <h4 style="padding-top:20px">Blue Mountains bush walk</h4>
     <img src="../../../images/summit/blue-mountains.jpg" style="padding:10px" alt="Blue Mountains" width="250">
     <p>
-        Gernot plans to take a group on a walk, most likely in the stunning <a href="https://www.visitnsw.com/destinations/blue-mountains">Blue Mountains</a>, which are about a 1.5 hours drive from Sydney. Please contact  <a title="[email protected]" href="mailto:[email protected]">Gernot Heiser</a> for further details for details.
+        Gernot plans to take a group on a walk, most likely in the stunning <a href="https://www.visitnsw.com/destinations/blue-mountains">Blue Mountains</a>, which are about a 1.5 hours drive from Sydney. Please contact  <a title="[email protected]" href="mailto:[email protected]">Gernot Heiser</a> for further details.
     </p>
     <p>
         <strong>When: </strong>Sunday 13 Oct 2024