pkgs for aarch64 stopped building

[Ronald Klop]

Hi,

If I take a look at the pkg build server of aarch64: http://thunderx1.nyi.freebsd.org/ things are broken.

- head-arm64-default is already broken for a couple of weeks, because it can't build 'pkg'
- 113arm64-quarterly stays in 'parallel_build' while all cpu's are idle.

Is there maintenance being done? Where should I report this?

Regards,
Ronald.