Sure, I will send these patches again by git-send-mail. Thanks and regards Nelson On Sat, Nov 23, 2019 at 2:20 AM Palmer Dabbelt <palmerdabbelt@google.com> wrote: > Can you use git-send-email to send your patches? They're a lot harder to read > this way.