Processed: Re: Bug#263073: xserver-xfree86: Super keys now Super+Hyper

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 263073 xlibs
Bug#263073: xserver-xfree86: Super keys now Super+Hyper
Bug reassigned from package `xserver-xfree86' to `xlibs'.

> retitle 263073 xlibs: Super keys now Super+Hyper
Bug#263073: xserver-xfree86: Super keys now Super+Hyper
Changed Bug title.

> severity 263076 serious
Bug#263076: xserver-xfree86: obsolete configlets - need port to gtk2
Severity set to `serious'.

> merge 256706 263073
Bug#256706: xlibs: attaching multiple modifiers to the same key wreaks havoc; breaks Win+Tab switching in many window managers
Bug#263073: xlibs: Super keys now Super+Hyper
Mismatch - only Bugs in same state can be merged:
Values for `severity' don't match:
 #256706 has `serious';
 #263073 has `normal'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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