[libre-riscv-dev] Public Inbox

[Immanuel, Yehowshua U]

At some point, we should migrate all the mboxes from mailman into public inbox, to take advantage of public inbox’s search feature.

Right now, public inbox only goes back until March 3 2020.

Yehowshua