Comment 17 for bug 2019195

Hi Mitchell, I think that's technically correct, but I would be more in favor of always stripping the trailing dot from myhostname. I don't see the downside of doing this: if mydomain is going to be appended to myhostname, a dot will also be added. At least that's how I read the append_dot_mydomain documentation.