Ubuntu

Comment 1 for bug 784431

Daniel van Vugt (vanvugt) wrote :

Here's a patch that fixes the build failure. It has not been functionally tested yet though.