Hi Rico, Any update about this patch? Now ppc64el is officially in Debian, and this issue is causing the following build errror:
https://buildd.debian.org/status/fetch.php?pkg=cogl&arch=ppc64el&ver=1.18.2-1&stamp=1408702592 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org