[commit] [patch] Verify file vs. core build-id, when both available

[Jan Kratochvil]

On Thu, 21 Nov 2013 14:56:56 +0100, Mark Wielaard wrote:
> Yes, looks good.

Checked in: b301c2efeab0a712570bfd72ae5e07a63f1ba784


Thanks,
Jan