On Mon, Dec 30, 2019, 13:24 Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote: > On Monday, December 30, 2019, Jacob Lifshay <programmerjake at gmail.com> > wrote: > > bizarre. somehow i missed this message. > Did it end up in spam? For me, gmail didn't send it to spam only because I created a filter for the mailing list. Jacob >