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

1 files changed, 2 insertions, 1 deletions

diff --git a/boot.php b/boot.php
index 98ff45ebb..88e79a95c 100755
--- 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'
 );