Marcin, you're right. The patch is, in fact, in xorg-server-1.12.2.901 . I was wrong in comments #11 and #13.
Alexander: If you switch over to the "xorg-edgers" PPA ( https://launchpad.net/~xorg-edgers/+archive/ppa ), you might be gaming again in no time. They adopted the bug-fixed xorg-server-1.12.2.901 on June 24, 2012.
If the xorg-edgers PPA works for you, please be sure to comment on this bug report so that other people who find it might benefit from it.
Marcin, you're right. The patch is, in fact, in xorg-server- 1.12.2. 901 . I was wrong in comments #11 and #13.
Alexander: If you switch over to the "xorg-edgers" PPA ( https:/ /launchpad. net/~xorg- edgers/ +archive/ ppa ), you might be gaming again in no time. They adopted the bug-fixed xorg-server- 1.12.2. 901 on June 24, 2012.
If the xorg-edgers PPA works for you, please be sure to comment on this bug report so that other people who find it might benefit from it.