diff --git a/sys/lib/dist/ndb/common b/sys/lib/dist/ndb/common index 593da3ce8..7ad4f4e8a 100644 --- a/sys/lib/dist/ndb/common +++ b/sys/lib/dist/ndb/common @@ -393,4 +393,5 @@ auth=130.89.145.31 authdom=cs.utwente.nl # for sl auth=auth.stanleylieber.com authdom=inri +auth=mars2.inri.net authdom=mars2 auth=cb.inri.net authdom=nyc