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 - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913