Hey, > On April 28, 2017 at 6:44 PM Richard Russon <rich at flatcap.org> wrote: > > but what would be those [Debian] patches? > > There's one obvious code change which is to the hostname lookup, it > looks for a Debian-specific file in /etc couldn't we provide a muttrc option for that?