Processed: Re: Bug#219313: gnome-games: Broken UI in glines

[Debian Bug Tracking System]

Processing commands for control@bugs.debian.org:

> reassign 219313 gtk2-engines-grux
Bug#219313: gnome-games: Broken UI in glines
Warning: Unknown package 'gtk2-engines-grux'
Bug reassigned from package `gnome-games' to `gtk2-engines-grux'.

> retitle 219313 libcrux-engine.so: exports too many symbols, namespace pollution
Bug#219313: gnome-games: Broken UI in glines
Warning: Unknown package 'gtk2-engines-grux'
Changed Bug title.

> forwarded 219313 http://bugzilla.gnome.org/show_bug.cgi?id=116693
Bug#219313: libcrux-engine.so: exports too many symbols, namespace pollution
Warning: Unknown package 'gtk2-engines-grux'
Noted your statement that Bug has been forwarded to http://bugzilla.gnome.org/show_bug.cgi?id=116693.

> tag 219313 patch
Bug#219313: libcrux-engine.so: exports too many symbols, namespace pollution
There were no tags set.
Warning: Unknown package 'gtk2-engines-grux'
Tags added: patch

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)