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