Processed: Bug#672480: prooftree: fixing owner

To: Hendrik Tews <hendrik@askra.de>
Cc: hendrik@askra.de, wnpp@debian.org, tews@os.inf.tu-dresden.de
Subject: Processed: Bug#672480: prooftree: fixing owner
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 28 May 2013 07:09:07 +0000
Message-id: <[🔎] handler.s.C.13697247649741.transcript@bugs.debian.org>
References: <[🔎] 20900.22357.781778.916593@blau.inf.tu-dresden.de>

Processing commands for control@bugs.debian.org:

> owner 672480 !
Bug #672480 [wnpp] ITP: prooftree -- proof tree visualization for Proof General
Owner changed from Hendrik Tews <tews@os.inf.tu-dresden.de> to Hendrik Tews <hendrik@askra.de>.
> thanks
Stopping processing here.

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

Reply to:

References:
- Bug#672480: prooftree: fixing owner
  - From: Hendrik Tews <hendrik@askra.de>

Prev by Date: Bug#672792: uploaded
Next by Date: Bug#672480: prooftree: fixing owner
Previous by thread: Bug#672480: prooftree: fixing owner
Next by thread: Bug#706078: ITP: base91 -- base91 encoder/decoder
Index(es):
- Date
- Thread