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 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 > > This site seems to indicate that the patch manager is still offline. > Is that the case?
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)
