Processed: forcibly merging 612891 618196

To: Stéphane Glondu <glondu@debian.org>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (src:matita for {618196,612891})
Subject: Processed: forcibly merging 612891 618196
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 26 Apr 2011 06:51:06 +0000
Message-id: <[🔎] handler.s.C.13038004057138.transcript@bugs.debian.org>
In-reply-to: <1303800403-360-bts-glondu@debian.org>
References: <1303800403-360-bts-glondu@debian.org>

Processing commands for control@bugs.debian.org:

> forcemerge 612891 618196
Bug#612891: FTBFS with camlp5 6.02.1
Bug#618196: matita: FTBFS: /bin/sh: query: not found
Forcibly Merged 612891 618196.

> thanks
Stopping processing here.

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

Reply to:

Prev by Date: Processed: reassign 612891 to src:matita
Next by Date: Processed: tagging 615536
Previous by thread: Processed: reassign 612891 to src:matita
Next by thread: Processed: tagging 615536
Index(es):
- Date
- Thread