On 16.03.2016 21:56, Christian König wrote:
Can somebody with commit access push those two patches after the review? I don't have write permission for libdrm.
Well, that should clearly get fixed. Daniel, can you add him, or who should we ask for this?