Processed: Re: Bug#476805: mkvmlinuz: FTBFS (ppc64): gnu/stubs-32.h: No such file or directory

To: Aurélien GÉRÔME <ag@debian.org>
Cc: Debian Kernel Team <debian-kernel@lists.debian.org> (mkvmlinuz #476805)
Subject: Processed: Re: Bug#476805: mkvmlinuz: FTBFS (ppc64): gnu/stubs-32.h: No such file or directory
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 24 Apr 2008 14:27:10 +0000
Message-id: <handler.s.C.120904714621886.transcript@bugs.debian.org>
In-reply-to: <20080424142539.GT29031@roxor.cx>
References: <20080424142539.GT29031@roxor.cx>

Processing commands for control@bugs.debian.org:

> reopen 476805
Bug#476805: mkvmlinuz: FTBFS (ppc64): gnu/stubs-32.h: No such file or directory
Bug reopened, originator not changed.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#476805: mkvmlinuz: FTBFS (ppc64): gnu/stubs-32.h: No such file or directory
  - From: Aurélien GÉRÔME <ag@debian.org>

Prev by Date: Processed: tagging 475759
Next by Date: Bug#476805: mkvmlinuz: FTBFS (ppc64): gnu/stubs-32.h: No such file or directory
Previous by thread: Bug#476805: mkvmlinuz: FTBFS (ppc64): gnu/stubs-32.h: No such file or directory
Next by thread: Bug#476805: mkvmlinuz: FTBFS (ppc64): gnu/stubs-32.h: No such file or directory
Index(es):
- Date
- Thread