Hi Simon, On 4/4/22 09:04, Simon Ser wrote: > Both doc patches pushed, thanks. I had to manually edit them because they > wouldn't apply cleanly. Next time, please use git-send-email (see > https://git-send-email.io/ for setup instructions). That's odd. I did use 'git send-email' and I don't usually have any problems (AFAIK). I'll check those setup instructions. thanks. -- ~Randy
