-
Duncan Coutts authored
This is so that we remember which server to send the reports to. This is pretty important if you're using a private as well as a public hackage server.
cf0f4734
This is so that we remember which server to send the reports to. This is pretty important if you're using a private as well as a public hackage server.