Hello all,
it seems as if the trac server is down. I get:
rhaas@horizon:.../rhaas/tmp$ curl --verbose https://trac.einsteintoolkit.org/ * Trying 130.39.21.34... * connect to 130.39.21.34 port 443 failed: Connection refused * Failed to connect to trac.einsteintoolkit.org port 443: Connection refused * Closing connection 0 curl: (7) Failed to connect to trac.einsteintoolkit.org port 443: Connection refused
Yours, Roland