Quote Originally Posted by airlied View Post
unless I forgot to push the DDX or something, if it doesn't work there is a DDX in koji, will check later.
and I did, so I did.

https://admin.fedoraproject.org/upda...fe5c42f51.fc15

should be in updates testing in the next day or two.