Processed: found 822807 in 47.0~b1-1

Debian Bug Tracking System owner at bugs.debian.org
Sat May 7 21:42:08 UTC 2016


Processing commands for control at bugs.debian.org:

> found 822807 47.0~b1-1
Bug #822807 [firefox] Several UI elements missing since GTK 3.20 update
Bug #822819 [firefox] Several UI elements missing since GTK 3.20 update
Bug #822939 [firefox] Several UI elements missing since GTK 3.20 update
Ignoring request to alter found versions of bug #822807 to the same values previously set
Ignoring request to alter found versions of bug #822819 to the same values previously set
Ignoring request to alter found versions of bug #822939 to the same values previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
822807: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822807
822819: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822819
822939: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822939
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the pkg-mozilla-maintainers mailing list