Processed: Re: Bug#184337: xserver-xfree86: ctrl:nocaps not working anymore

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

Processing commands for control@bugs.debian.org:

> reassign 184337 xlibs-data
Bug#184337: xserver-xfree86: ctrl:nocaps overridden by us/nodeadkeys/pc104
Bug reassigned from package `xlibs' to `xlibs-data'.

> retitle 184337 xlibs-data: [xkb] option ctrl:nocaps does not work with xfree86/pc104/us/nodeadkeys
Bug#184337: xserver-xfree86: ctrl:nocaps overridden by us/nodeadkeys/pc104
Changed Bug title.

> severity 184337 normal
Bug#184337: xlibs-data: [xkb] option ctrl:nocaps does not work with xfree86/pc104/us/nodeadkeys
Severity set to `normal'.

> tag 184337 = upstream
Bug#184337: xlibs-data: [xkb] option ctrl:nocaps does not work with xfree86/pc104/us/nodeadkeys
Tags were: moreinfo unreproducible
Tags set to: upstream

> thanks
Stopping processing here.

Please contact me if you need assistance.

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