Processed: Re: Bug#484740: some cross references don't work as info search files without .info extension

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

Processing commands for control@bugs.debian.org:

> retitle 484740 please make info a universal operating system
Bug#484740: some cross references don't work as info search files without .info extension
Changed Bug title to `please make info a universal operating system' from `some cross references don't work as info search files without .info extension'.

> severity 484740 wishlist
Bug#484740: please make info a universal operating system
Severity set to `wishlist' from `normal'

> tag 484740 + wontfix
Bug#484740: please make info a universal operating system
There were no tags set.
Tags added: wontfix

> close 484740
Bug#484740: please make info a universal operating system
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug closed, send any further explanations to Vincent Lefevre <vincent@vinc17.org>

> thanks
Stopping processing here.

Please contact me if you need assistance.

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