On Feb 7, 2008 3:48 PM, Laurent GUERBY <[EMAIL PROTECTED]> wrote:
> On Thu, 2008-02-07 at 11:21 -0500, Daniel Berlin wrote:
> > Yes.
> > I currently lack the time to bring it back online for a while)
> > (Though im happy to give the code to anyone who wants to give it a try
> > on gcc.gnu.org)
>
>
On Thu, 2008-02-07 at 11:21 -0500, Daniel Berlin wrote:
> Yes.
> I currently lack the time to bring it back online for a while)
> (Though im happy to give the code to anyone who wants to give it a try
> on gcc.gnu.org)
Is there a requirement to run it on gcc.gnu.org machine?
If not I can try to
On Feb 6, 2008 10:46 PM, NightStrike <[EMAIL PROTECTED]> wrote:
> On 12/5/07, Rask Ingemann Lambertsen <[EMAIL PROTECTED]> wrote:
> > 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 wee
On 12/5/07, Rask Ingemann Lambertsen <[EMAIL PROTECTED]> wrote:
> 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 sti
Daniel Berlin 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.
At least I use it almost always to make sure patches does not get
forgotten; thus I regularly check http://dberlin.org/patches/pat
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-b
On 05 December 2007 21:04, Daniel Berlin 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.
Well I haven't submitted any patches just lately, but I always use it when I
do, I think it's very
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.
>
What is the patch manager?
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.
