Comment 7 for bug 1465958

Revision history for this message
Alberto Aguirre (albaguirre) wrote :

So it turns out platform-api usage is actually not in use (#if 0'ed out): So here's a debdiff that removes referecing the now non-existent platform-api types and headers.