Re: Dead link in debian.org/ports/

[Paul Wise]

On Mon, Aug 12, 2019 at 11:21 PM <moi...@posteo.net> wrote:

> Can you please update openrisc link to https://openrisc.io/

Thanks for reporting this, the fix will be online in a few hours.

-- 
bye,
pabs

https://wiki.debian.org/PaulWise