[tor-commits] [webwml/master] Forgot some ccc mirror stuff

[sebastian at torproject.org]

commit ac4b4dfbe5d858b361f0d4d3886fc20a9e5f9e33
Author: Sebastian Hahn <sebastian at torproject.org>
Date:   Mon Jul 13 00:45:17 2015 +0200

    Forgot some ccc mirror stuff
---
 include/mirrors-table.wmi |    2 +-
 include/tor-mirrors.csv   |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/mirrors-table.wmi b/include/mirrors-table.wmi
index f980e70..0b8aeaf 100644
--- a/include/mirrors-table.wmi
+++ b/include/mirrors-table.wmi
@@ -826,7 +826,7 @@
     <td> - </td>
     <td><a href="http://tor.ccc.de/dist/">http</a></td>
     <td><a href="http://tor.ccc.de/">http</a></td>
-    <td> - </td>
+    <td><a href="https://tor.ccc.de/dist/">https</a></td>
     <td><a href="https://tor.ccc.de">https</a></td>
     <td> - </td>
     <td> - </td>
diff --git a/include/tor-mirrors.csv b/include/tor-mirrors.csv
index 27ddce6..0d33d9b 100644
--- a/include/tor-mirrors.csv
+++ b/include/tor-mirrors.csv
@@ -116,4 +116,4 @@ Stefan, sela Internet, DE, Germany, DE, TRUE, TRUE, No, http://sela.io/mirrors/t
 justaguy AT justaguy DOT pw, Justaguy, NL, The Netherlands, NL, True, False, No, http://services.justaguy.pw/, https://services.justaguy.pw/, , , http://services.justaguy.pw/dist, https://services.justaguy.pw/dist, , http://3qzbcsjhwseov7k4.onion, Sun Jul 12 15:19:35 2015
 thomaswhite AT riseup DOT net, TheCthulhu, NL, The Netherlands, NL, True, False, No, http://tor.thecthulhu.com/, https://tor.thecthulhu.com/, , , http://tor.thecthulhu.com/dist/, https://tor.thecthulhu.com/dist/, , , Sun Jul 12 15:19:35 2015
 rush23 AT gmx DOT net, Tor Supporter, DE, Germany, Europe, TRUE, FALSE, No, http://tor-proxy.euve59946.serverprofi24.de/, , , , http://tor-proxy.euve59946.serverprofi24.de/dist/, , , , Thu Jun  4 19:06:42 2015
-webmaster AT ccc DOT de, CCC, NL, The Netherlands, Europe, TRUE, FALSE, No, http://tor.ccc.de/, https://tor.ccc.de, , , http://tor.ccc.de/dist/, , , , Sun Jul 12 17:37:47 2015
+webmaster AT ccc DOT de, CCC, NL, The Netherlands, Europe, TRUE, FALSE, No, http://tor.ccc.de/, https://tor.ccc.de, , , http://tor.ccc.de/dist/, https://tor.ccc.de/dist/, , , Sun Jul 12 17:37:47 2015