jdk HEAD fails to build?

Mon Nov 12 10:14:21 UTC 2018

Hi Severin!

On 11/12/18 11:05 AM, Severin Gehwolf wrote:
> Is anybody else seing this?

I just pulled the latest revision and was able to built HEAD
just fine.

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz at debian.org
`. `'   Freie Universitaet Berlin - glaubitz at physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913