On Fri, Jul 12, 2019 at 07:22:25PM -0700, Eduardo Bustamante wrote: > Can we please STOP this thread? What is the point? Linda will never > change her mind. You all are just wasting time and electricity. > > (and spamming the mailing list with this non-sense).
https://xkcd.com/386/
