Processed: forcibly merging 640532 496905

To: Lucas Nussbaum <lucas@debian.org>
Cc: wnpp@debian.org
Subject: Processed: forcibly merging 640532 496905
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 29 Nov 2013 10:21:20 +0000
Message-id: <[🔎] handler.s.C.138572020119723.transcript@bugs.debian.org>
References: <1385720187-3450-bts-lucas@debian.org>

Processing commands for control@bugs.debian.org:

> forcemerge 640532 496905
Bug #640532 [wnpp] RFH: gnat-gps -- Build gnatcoll from the sources of GPS
Bug #496905 [wnpp] RFH: gnat-gps -- co-maintainer needed
Merged 496905 640532
> thanks
Stopping processing here.

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

Reply to:

Prev by Date: Bug#730392: marked as done (ITP: php-tokenreflection -- PHP reflection replacement)
Next by Date: Processed: forcibly merging 539562 539633
Previous by thread: Processed: RFP: gxkb -- X11 keyboard indicator and switcher
Next by thread: Processed: forcibly merging 539562 539633
Index(es):
- Date
- Thread