On Tue, 14 Jul 2020 09:22:39 +0200 Geert Uytterhoeven <geert@xxxxxxxxxxxxxx> wrote: > > > - website http://openrisc.io > > > + website https://openrisc.io > > > email openrisc@xxxxxxxxxxxxxxxxxxxx > > > ======= ============================= > > > > Applied, thanks. > > Is that site accessible for anyone? It times out for me. Works for me. jon