added redmatrix.nl back as a directory server. this was not the issue with the performance problems

2015-01-22 00:11:00 +00:00 · 2015-01-22 00:11:00 +00:00 · 503047dc32
commit 503047dc32
parent 0b6415e73d
1 changed files with 2 additions and 1 deletions
--- a/boot.php
+++ b/boot.php
@ -84,7 +84,8 @@ $DIRECTORY_FALLBACK_SERVERS = array(
 	'https://red.zottel.red',
 	'https://red.pixelbits.de',
 	'https://my.federated.social',
-	'https://whogotzot.com'
+	'https://whogotzot.com',
+	'https://redmatrix.nl'
 );