Well, @philm’s announcement below does indeed confirm that Community was also merged into Extra for ARM.
So yeah, maybe the build script needs updating. Mind you, I normally don’t follow ARM.
Well, @philm’s announcement below does indeed confirm that Community was also merged into Extra for ARM.
So yeah, maybe the build script needs updating. Mind you, I normally don’t follow ARM.