down? (was: Fixed dead link on hurd-web)

2013-06-06 Thread Thomas Schwinge
Hi! On Wed, 05 Jun 2013 17:10:11 +0200, I wrote: > On Wed, 5 Jun 2013 17:02:03 +0300, Fotis Koutoulakis > wrote: > > On http://www.gnu.org/software/hurd/microkernel.html the link for the > > paper "On Microkernel Construction" appears to be dead. This patch > > replaces the dead link with a work

Re: Fixed dead link on hurd-web

2013-06-05 Thread Fotis Koutoulakis
Greetings! >> These days, we usually send patches in unified diff format (which, once >> used to, are easier to read, typically). (Of course, this one is easy >> enough to read anyway.) Thanks! I will keep that in mind for the next time. >> The web pages are backed by a wiki. You can edit them

Re: Fixed dead link on hurd-web

2013-06-05 Thread Thomas Schwinge
Hi! On Wed, 5 Jun 2013 17:02:03 +0300, Fotis Koutoulakis wrote: > On http://www.gnu.org/software/hurd/microkernel.html the link for the > paper "On Microkernel Construction" appears to be dead. This patch > replaces the dead link with a working one. > [ mkernelconstructionurl.patch: application

Re: Fixed dead link on hurd-web

2013-06-05 Thread Samuel Thibault
I forgot: thanks! Samuel

Re: Fixed dead link on hurd-web

2013-06-05 Thread Samuel Thibault
Fotis Koutoulakis, le Wed 05 Jun 2013 17:02:03 +0300, a écrit : > < [[Liedtke]] explains in [On Microkernel > Construction](http://l4ka.org/publications/paper.php?docid=642) > --- > > [[Liedtke]] explains in [On Microkernel > > Construction](http://cgi.di.uoa.gr/~mema/courses/mde518/papers/liedtk

Fixed dead link on hurd-web

2013-06-05 Thread Fotis Koutoulakis
On http://www.gnu.org/software/hurd/microkernel.html the link for the paper "On Microkernel Construction" appears to be dead. This patch replaces the dead link with a working one. -- Fotis 'NlightNFotis' Koutoulakis - "Non semper aestas erit; venit hiems." mkernelconstructionurl.patch Descrip