Processed: Re: Bug#900236: tlmgr manpage: 32-bit OpenPGP key IDs

To: Norbert Preining <preining@logic.at>
Cc: debian-tex-maint@lists.debian.org
Subject: Processed: Re: Bug#900236: tlmgr manpage: 32-bit OpenPGP key IDs
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 28 May 2018 00:36:04 +0000
Message-id: <[🔎] handler.s.C.15274675761051.transcript@bugs.debian.org>
References: <[🔎] 20180528003248.GB4600@bulldog.preining.info>

Processing commands for control@bugs.debian.org:

> tags 900236 + pending
Bug #900236 [texlive-base] tlmgr manpage: 32-bit OpenPGP key IDs
Added tag(s) pending.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
900236: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=900236
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#900236: tlmgr manpage: 32-bit OpenPGP key IDs
  - From: Norbert Preining <preining@logic.at>

Prev by Date: Bug#900236: tlmgr manpage: 32-bit OpenPGP key IDs
Next by Date: Pro account opening Demande
Previous by thread: Bug#900236: tlmgr manpage: 32-bit OpenPGP key IDs
Next by thread: Bug#900245: gftodvi.1: Some formatting fixes
Index(es):
- Date
- Thread