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:

> reopen 484740
Bug#484740: please make info a universal operating system
Bug reopened, originator not changed.

> retitle 484740 info should not try to load files without .info extension
Bug#484740: please make info a universal operating system
Changed Bug title to `info should not try to load files without .info extension' from `please make info a universal operating system'.

> severity 484740 normal
Bug#484740: info should not try to load files without .info extension
Severity set to `normal' from `wishlist'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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