Processed (with 2 errors): your mail

To: Iain Lane <laney@ubuntu.com>
Cc: Iain Lane <laney@ubuntu.com> (owner of 522924 for {522924}, owner of 522914 for {522914}), <wnpp@debian.org> (wnpp for {522914,522924})
Subject: Processed (with 2 errors): your mail
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 12 Jul 2009 20:30:08 +0000
Message-id: <[🔎] handler.s.C.124743047123706.transcript@bugs.debian.org>
In-reply-to: <[🔎] 82D10C39-A32F-4600-AE3C-133574F357C3@ubuntu.com>
References: <[🔎] 82D10C39-A32F-4600-AE3C-133574F357C3@ubuntu.com>

Processing commands for control@bugs.debian.org:

> retitle 522924 ITP: agda -- a dependently typed functional programming
Bug#522924: ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant
Changed Bug title to `ITP: agda -- a dependently typed functional programming' from `ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant'.

> language and proof assistant
Unknown command or malformed arguments to command.

> retitle 522914 ITP: agda-stdlib -- standard library for Agda - a
Bug#522914: ITP: agda -- a dependently typed functional programming language and proof assistant
Changed Bug title to `ITP: agda-stdlib -- standard library for Agda - a' from `ITP: agda -- a dependently typed functional programming language and proof assistant'.

> dependently typed functional programming language and proof assistant
Unknown command or malformed arguments to command.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#522924:
  - From: Iain Lane <laney@ubuntu.com>

Prev by Date: Processed: tagging as pending bugs that are closed by packages in NEW
Next by Date: Bug#522914:
Previous by thread: Bug#522924:
Next by thread: Processed: tagging 531922
Index(es):
- Date
- Thread