On Wed, Dec 05, 2007 at 04:32:00PM -0500, NightStrike wrote:
> On 12/5/07, Daniel Berlin <[EMAIL PROTECTED]> wrote:
> > Patch manager will be dying for a week or two while i change hosting.
> >
> > of course, if nobody is still using it, i can just kill it permanently.

   grep -F -e patchapp gcc-bugs@ says it is being used. I use it and would
like to keep doing so. As well as tracking my patches, I find the notice
automatically posted to the bug database a lot more convenient that having
to do so manually.
 
> What is the patch manager?

http://gcc.gnu.org/wiki/GCC_Patch_Tracking

-- 
Rask Ingemann Lambertsen
Danish law requires addresses in e-mail to be logged and stored for a year

Reply via email to