Our domain name changed, where do I edit the hostname?

Thanks, that did the trick.