merge 701514 703976
thanks
On 03/26/2013 02:09 PM, gregor herrmann wrote:
Isn't this a duplicate of #701514?
Dang, you're right. I did not check the existing bug reports thoroughly
enough, sorry for the noise.
Merging.
Still applies for evilwm, however. We should maybe check whether other
window managers are affected as well.
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer - [email protected]
`. `' Freie Universitaet Berlin - [email protected]
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
