Re: Dead link in debian.org/ports/

Paul Wise <[email protected]>
Newsgroups gmane.linux.debian.devel.www
Message-ID <CAKTje6FxLRPZrM-=EbBUyjvkZvKcH2YPknVxkhvLJxFMNtMtpw@mail.gmail.com> 
On Mon, Aug 12, 2019 at 11:21 PM <[email protected]> wrote:

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

Thanks for reporting this, the fix will be online in a few hours.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.