summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--about.html2
m---------web-common0
2 files changed, 1 insertions, 1 deletions
diff --git a/about.html b/about.html
index b2ffb1a6..3d39d421 100644
--- a/about.html
+++ b/about.html
@@ -90,7 +90,7 @@
<p lang="es" note="outdated">Mayormente inofensivo</p>
</div>
<div class="col-lg-4">
- <h2>Florian Dold</h2>
+ <h2><a href="https://fdold.eu">Florian Dold</a></h2>
<p lang="en">PhD Student, Inria. Hacker.</p>
<p lang="de">Doktorand, Inria. Hacker.</p>
<p lang="fr" note="outdated">Fouineur</p>
diff --git a/web-common b/web-common
-Subproject 80f1e2708dbe4b19349244b611a6167b4b7a98c
+Subproject dfa825243b718e222013d35a58b2dd8ec0ef05a