Hi,

FYI, I have merged wip-ppc64le-for-master to master and closed bug
47182.  I have also deleted the wip-ppc64le-for-master branch.

Later this week, I will update the manual to mention that
powerpc64le-linux is supported, and I will update the "release" target
of the Makefile so that we can make a release!

-- 
Chris