Processed: Re: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index

To: Guo Yixuan <culu.gyx@gmail.com>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 26 Oct 2012 17:42:03 +0000
Message-id: <[🔎] handler.s.B594384.135127312017946.transcript@bugs.debian.org>
References: <[🔎] 20121026173901.GA24619@gmail.com> <20100825182436.7013.46133.reportbug@localhost.localdomain>

Processing control commands:

> tag -1 + pending
Bug #594384 [gnat-4.4-doc] gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index
Added tag(s) pending.

-- 
594384: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=594384
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#594384: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index
  - From: Guo Yixuan <culu.gyx@gmail.com>

Prev by Date: Bug#594384: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index
Next by Date: Bug#594384: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index
Previous by thread: Bug#594384: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index
Next by thread: Bug#609217: gcc-4.4-doc: misleading __builtin_choose_expr documentation error
Index(es):
- Date
- Thread