On Dec 18, 2018, at 11:43 PM, Pantxo <address@hidden> wrote:Did anyone post a bug report about this build failure?