On Sat, Feb 6, 2021 at 7:41 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:> Yes, please do. I could do it myself, but better that you do it> yourself, just in case.
I went ahead and fixed it myself.
Thanks-- Peter Geoghegan