I went looking for prior conversations we had around august 25 2019 and discovered that those emails are no longer available through https://lists.libre-riscv.org/ and they apparently aren't in the public inbox archive: the first commit was in march 2020 https://git.libre-soc.org/?p=libre-riscv-dev.git;a=commit;h=96e86322dda7e1f59c2dbfafa8ae0dd614c708b0 they're missing on archive.org too: https://web.archive.org/web/*/http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-August/* please put the archive in a git repo or something so it is publicly available.
http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-August/thread.html i'm not going to manually replay the mail prior to when publicinbox was created. archive.org simply hasn't got round to saving the page and i put in a request that it do so.
(In reply to Luke Kenneth Casson Leighton from comment #1) > http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-August/thread.html ah, i was led astray by https://lists.libre-riscv.org/ redirecting to https://lists.libre-soc.org/ and libre-riscv-dev not showing up there or on http://lists.libre-riscv.org/ when I accessed that over curl since my web browser always changes the http to the https url. imho it should be fixed somehow so you can easily navigate from https://lists.libre-riscv.org/ to libre-riscv-dev's archive.