--
You received this message because you are subscribed to the Google Groups "RISC-V Patches" group.
To unsubscribe from this group and stop receiving emails from it, send an email to patches+u...@groups.riscv.org.
To post to this group, send email to pat...@groups.riscv.org.
Visit this group at https://groups.google.com/a/groups.riscv.org/group/patches/.
To view this discussion on the web visit https://groups.google.com/a/groups.riscv.org/d/msgid/patches/CAFyWVaZPg9tO5s9%3Dg1GbZNXtVkL%3DB7ZRv3M3%3D4YHdyGBcnXq2g%40mail.gmail.com.
For more options, visit https://groups.google.com/a/groups.riscv.org/d/optout.