l4-hurd.html

[Marcus Brinkmann]

Hi guys,

I long ago deleted the l4-hurd.html page from the CVS repository.
However, it seems that cvs deletions are not correctly mirrored to the web
page.

This means that the old l4-hurd.html file still lingers around.

What can be done about it?  I don't know exactly, but we should contact
whoever does this mirroring at GNU about it, and work out a solution. 
Either they will take into accounts file removals from CVS in the mirror
process, or they will delete unwanted fiels automatically.

Can someone of you please do that (find out who is responsible, mail them
with the request)?

Thanks,
Marcus

-- 
`Rhubarb is no Egyptian god.' GNU      http://www.gnu.org    address@hidden
Marcus Brinkmann              The Hurd http://www.gnu.org/software/hurd/
address@hidden
http://www.marcus-brinkmann.de/