Processed: retitle 730619 to Add a transition collision detector

To: Stéphane Glondu <glondu@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: retitle 730619 to Add a transition collision detector
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 27 Nov 2013 10:51:08 +0000
Message-id: <[🔎] handler.s.C.138554931613733.transcript@bugs.debian.org>
References: <1385549307-2354-bts-glondu@debian.org>

Processing commands for control@bugs.debian.org:

> retitle 730619 Add a transition collision detector
Bug #730619 [ben] [PATCH] Add a transition collision detector.
Changed Bug title to 'Add a transition collision detector' from '[PATCH] Add a transition collision detector.'
> thanks
Stopping processing here.

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

Reply to:

Prev by Date: Bug#730619: [PATCH] Add a transition collision detector.
Next by Date: Processed: tagging 672066, reassign 652797 to simgear, fixed 652797 in 2.4.0-1.1, tagging 652797 ...
Previous by thread: Bug#730619: [PATCH] Add a transition collision detector.
Next by thread: Processed: tagging 672066, reassign 652797 to simgear, fixed 652797 in 2.4.0-1.1, tagging 652797 ...
Index(es):
- Date
- Thread