Re: Please gb kmime/mips

To: Pino Toscano <pino@debian.org>, debian-wb-team@lists.debian.org
Subject: Re: Please gb kmime/mips
From: Emilio Pozuelo Monfort <pochu@debian.org>
Date: Sat, 23 Dec 2017 11:32:48 +0100
Message-id: <[🔎] 58ea3c74-3694-8309-b115-af27a60cc5c0@debian.org>
In-reply-to: <[🔎] 2535910.DIHT7WlEST@pendragon>
References: <[🔎] 15304274.v2sTM3epkY@pendragon> <[🔎] 2535910.DIHT7WlEST@pendragon>

On 23/12/17 11:24, Pino Toscano wrote:
> In data giovedì 21 dicembre 2017 19:48:50 CET, Pino Toscano ha scritto:
>> Hi,
>>
>> please giveback kmime_17.08.3-1/mips, as it failed because of a GCC ICE.
> 
> Gentle ping.

Given back.

Emilio

Reply to:

References:
- Please gb kmime/mips
  - From: Pino Toscano <pino@debian.org>
- Re: Please gb kmime/mips
  - From: Pino Toscano <pino@debian.org>

Prev by Date: Re: Please gb kmime/mips
Next by Date: Re: buildd chroot creation: who should get notified of failures?
Previous by thread: Re: Please gb kmime/mips
Next by thread: Please gb baloo/armel, kdewebdev/armhf, kmymoney/armhf
Index(es):
- Date
- Thread