Processed: Re: Bug#862441: [mutter] backport fix for at-spi reporting the wrong position of gnome-shell elements

[Debian Bug Tracking System]

Processing control commands:

> tags -1 + stretch
Bug #862441 [mutter] [mutter] backport fix for at-spi reporting the wrong position of gnome-shell elements
Added tag(s) stretch.

-- 
862441: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=862441
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems