web-hurd
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Dead site?

From: Alfred M. Szmidt
Subject: Re: Dead site?
Date: Thu, 24 Feb 2005 18:06:55 +0100 
   > Feel free to post a patch.

   Here it is.  Let me know how much time it saved you.  ;-)

It is not about saving time.  If you do a bit, then us lazy asses will
do a bit more.

I'll commit it in a few hours unless someone objects.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]