Switch from simatime.com to bensima.com

This does the full transition: web server, mail server, xmpp. I expect some
disruption, but hopefully this is everything and it just switches over without
any problem.

1 files changed, 1 insertions, 1 deletions

diff --git a/README.md b/README.md
index f7756df..2554aff 100644
--- a/README.md
+++ b/README.md
@@ -147,7 +147,7 @@ configuration:
       distributedBuilds = true;
       buildMachines = [
         {
-          hostName = "dev.simatime.com";
+          hostName = "dev.bensima.com";
           sshUser = "yourUserName";
           sshKey = "/path/to/your/private/key";
           system = "x86_64-linux";