Comment 2 for bug 790833

Revision history for this message
Diego Biurrun (diego-biurrun) wrote :

My last commit should have taken care of this.