Processed: Re: Bug#958728: dvi2tty.1: Correct some mistakes and typographic issues in the manual

To: Hilmar Preuße <hille42@web.de>
Cc: debian-tex-maint@lists.debian.org
Subject: Processed: Re: Bug#958728: dvi2tty.1: Correct some mistakes and typographic issues in the manual
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 24 Apr 2020 21:51:03 +0000
Message-id: <[🔎] handler.s.B958728.158776497316416.transcript@bugs.debian.org>
References: <[🔎] 6ad94e4a-e51d-e401-4e13-5884e5aaffd7@web.de> <[🔎] 20200424183326.GA3928@rhi.hi.is>

Processing control commands:

> tags -1 + pending
Bug #958728 [texlive-binaries] dvi2tty.1: Correct some mistakes and typographic issues in the manual
Added tag(s) pending.

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

Reply to:

References:
- Bug#958728: dvi2tty.1: Correct some mistakes and typographic issues in the manual
  - From: Hilmar Preuße <hille42@web.de>
- Bug#958728: dvi2tty.1: Correct some mistakes and typographic issues in the manual
  - From: Bjarni Ingi Gislason <bjarniig@rhi.hi.is>

Prev by Date: Bug#958728: dvi2tty.1: Correct some mistakes and typographic issues in the manual
Next by Date: Bug#958728: dvi2tty.1: Correct some mistakes and typographic issues in the manual
Previous by thread: Bug#958728: dvi2tty.1: Correct some mistakes and typographic issues in the manual
Next by thread: Bug#958728: dvi2tty.1: Correct some mistakes and typographic issues in the manual
Index(es):
- Date
- Thread