On 25/06/2019 15:05, Alberto Garcia wrote: > On Mon, Jan 23, 2017 at 11:14:16AM +0100, Alberto Garcia wrote: >> webkit2gtk itself builds fine, seed-webkit2 is what fails: > > I wanted to test this with the latest versions of WebKitGTK, but I > don't seem to have access to any porterbox with ppc64 (only ppc64el, > in which things work fine).
Apparently there used to be one (pizetti) but that seems down now. Cc'ing the ppc64 buildd maintainers, maybe they can clarify if there's another porterbox. Emilio
