Re: [PATCH libdrm] android: make symbols hidden by default