In addition to what was already merged we should also include the following pull requests:
http://lists.freedesktop.org/archives/dri-devel/2013-July/042480.html
http://lists.freedesktop.org/archives/dri-devel/2013-July/042561.html
In addition to what was already merged we should also include the following pull requests:
http:// lists.freedeskt op.org/ archives/ dri-devel/ 2013-July/ 042480. html
http:// lists.freedeskt op.org/ archives/ dri-devel/ 2013-July/ 042561. html