On Wed, 1 Jun 2022 11:39:19 -0700 Julian Brown <julian@codesourcery.com> wrote: > This patch fixes a minor typo in dump output and a stray unicode > character in a comment. > > This one probably counts as obvious. FYI, I committed this one now. Julian