Subject: bug#32058: mysql build fails on d88b29d6b78482cdb05ac714984f6a27195e3d37

From: Ricardo Wurmus <[email-masked]>
Date: Thu, 05 Jul 2018 13:34:33 +0200

Nils Gillmann <[email-masked]> writes:

> Since I do not have the time to work on this, but there seems to be no open bug:
>
> mysql started a couple of commits ago (since last core-updates merge?) to fail
> its build.

It looks like you omitted the actual error message that caused make to exit.

-- 
Ricardo