On Sun, Dec 11, 2016 at 12:44:17AM -0500, Jeremy Bicha wrote:
> It looks like libcorelinux still fails to build:
> 
> https://buildd.debian.org/status/package.php?p=libcorelinux

I'm going to fix that.

Reply via email to