On Sun, Oct 02 2022, Stefan Kangas wrote:

> In the future, please use `git format-patch -1 HEAD'

Sorry. Yes, I'll do that next time.

-- 
           Peter