On 10/07/2018 06:26 PM, Vicente Romero wrote: > Hi, > > I fixed the issue, probably due to an automatic bad-merge. Yes, thanks! x86_64 builds are fine now. (But no other builds are fine, until you pull the recent build fixes from jdk/jdk). -Aleksey