explicit ownership: points_to_owned

[web.git] / personal / index.html

diff --git a/personal/index.html b/personal/index.html
index 7e1855fd04932c2229f74557fc4edabb0f7815c2..391d6d7b012eb057bcb5e386df9e5aa00abea86f 100644 (file)
--- a/personal/index.html
+++ b/personal/index.html
@@ -25,7 +25,7 @@ Speaking of which, my GPG key has the ID 0x1B24F3FF. You can find it <a href="0x
 You may wonder why I spend so much time on this. Well, I already mentioned independence of the usual internet giants.
 Besides, it's lots of fun to have a closer look at the tools and service we all use daily, and understand how they function.
 Last not least, I learned a lot while setting up this server.
 You may wonder why I spend so much time on this. Well, I already mentioned independence of the usual internet giants.
 Besides, it's lots of fun to have a closer look at the tools and service we all use daily, and understand how they function.
 Last not least, I learned a lot while setting up this server.

-If you have questions about this (or anything else on this server), please don't hesitate to <a href="mailto:post-AT-ralfj-DOT-de">mail me at ralf-AT-ralfj-DOT-de</a>!
+If you have questions about this (or anything else on this server), please don't hesitate to <a href="mailto:post-AT-ralfj-DOT-de">mail me at post-AT-ralfj-DOT-de</a>!

 </p>
 
 <p>
 </p>
 
 <p>