On Sat, 3 Nov 2018 at 11:13, John-Mark Gurney <jmg at funkthat.com> wrote: > > I'd like to apply the following patch, so that the link at the bottom > of messages is by default https instead of http: > > Any objections? LGTM -- Eitan Adler