Re: Please gb kmime/mips

[Emilio Pozuelo Monfort]

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