Processed: Re: Bug#1021839: info -w is slow for man pages

To: Hilmar Preuße <hille42@web.de>
Cc: debian-tex-maint@lists.debian.org
Subject: Processed: Re: Bug#1021839: info -w is slow for man pages
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 18 Oct 2022 21:51:03 +0000
Message-id: <[🔎] handler.s.B1021839.16661297663145910.transcript@bugs.debian.org>
References: <[🔎] a9b1fd37-f74c-1ab3-8b1a-f8f8b10d9d27@web.de> <[🔎] 20221015171459.5xtjazmw6hplxqq7@jwilk.net>

Processing control commands:

> tags -1 + fixed-upstream
Bug #1021839 [info] info -w is slow for man pages
Added tag(s) fixed-upstream.

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

Reply to:

References:
- Bug#1021839: info -w is slow for man pages
  - From: Hilmar Preuße <hille42@web.de>
- Bug#1021839: info -w is slow for man pages
  - From: Jakub Wilk <jwilk@jwilk.net>

Prev by Date: Processed: Re: Bug#1021823: info: memory exhausted for python3.10.info
Next by Date: Bug#1021839: info -w is slow for man pages
Previous by thread: Bug#1021839: info -w is slow for man pages
Next by thread: Bug#1021839: info -w is slow for man pages
Index(es):
- Date
- Thread