Processed: severity of 513384 is grave, severity of 513407 is grave ..., tagging 513407, merging 513384 513407
Processing commands for control@bugs.debian.org:
> severity 513384 grave
Bug#513384: xserver-xorg-core: server crash in CopyKeyClass when pressing special keys
Severity set to `grave' from `serious'
> severity 513407 grave
Bug#513407: xserver-xorg-core: pressing a multimedia key crashes the X server
Severity set to `grave' from `important'
> forwarded 513384 http://bugs.freedesktop.org/show_bug.cgi?id=19574
Bug#513384: xserver-xorg-core: server crash in CopyKeyClass when pressing special keys
Forwarded-to-address changed from https://bugs.freedesktop.org/show_bug.cgi?id=19574 to http://bugs.freedesktop.org/show_bug.cgi?id=19574.
> tags 513407 fixed-upstream
Bug#513407: xserver-xorg-core: pressing a multimedia key crashes the X server
Tags were: upstream
Tags added: fixed-upstream
> merge 513384 513407
Bug#513384: xserver-xorg-core: server crash in CopyKeyClass when pressing special keys
Bug#513407: xserver-xorg-core: pressing a multimedia key crashes the X server
Merged 513384 513407.
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: