[APPLIED] [Vivid][PATCH] UBUNTU: disable CONFIG_DEBUG_INFO_SPLIT

Fri Jan 23 10:38:43 UTC 2015

On 01/22/2015 07:06 PM, Andy Whitcroft wrote:
> I applied this based on the bug rather than this specific fix.

I understand, this is certainly not the proper fix moving forwards,
rather just an temporary workaround for the immediate term, as you
put it in the bug.

Thanks for applying it for now.

-- 
Mauricio Faria de Oliveira
IBM Linux Technology Center