> From: "Wong, Philip" <philip.w...@warwick.ac.uk> > CC: "rpl...@gmail.com" <rpl...@gmail.com>, "34...@debbugs.gnu.org" > <34...@debbugs.gnu.org> > Date: Tue, 12 Mar 2019 09:58:17 +0000 > > That did the job, thanks!
OK, thanks. I guess we will need to try doing this automatically at startup...