> On 29 Jul 2014, at 00:20, Michael Gmelin wrote:
>
>
>
>>> On 28 Jul 2014, at 23:30, Baptiste Daroussin wrote:
>>>
>>> On Mon, Jul 28, 2014 at 09:19:57PM +0200, Michael Gmelin wrote:
>>> I had pkg crash[1] our build host a couple of times today. I could
>>> reproduce the issue on a local m
> On 28 Jul 2014, at 23:30, Baptiste Daroussin wrote:
>
>> On Mon, Jul 28, 2014 at 09:19:57PM +0200, Michael Gmelin wrote:
>> I had pkg crash[1] our build host a couple of times today. I could
>> reproduce the issue on a local machine and opened a detailed bug
>> report on github[2] which links
On Mon, Jul 28, 2014 at 09:19:57PM +0200, Michael Gmelin wrote:
> I had pkg crash[1] our build host a couple of times today. I could
> reproduce the issue on a local machine and opened a detailed bug
> report on github[2] which links to a gist containing the patch that's
> also attached to this ema