> I'm just wondering if it technically would be necessary to remove the server from the tree or not?
I don't think so. But I'm not sure. On Sat, Jan 9, 2021, 06:34 Tim Düsterhus <t...@bastelstu.be> wrote: > Thayne, > > Am 09.01.21 um 08:45 schrieb Thayne McCombs: > > > > After actually reading the full CONTRIBUTING file, I now include my > patch with a better commit message. Sorry about that. > > > > Thanks, the commit message looks good to me and I can confirm your patch > fixes the issue I was seeing. > > I'm just wondering if it technically would be necessary to remove the > server from the tree or not? > > Best regards > Tim Düsterhus >