Bug#707347: add patch

To: 707347@bugs.debian.org
Subject: Bug#707347: add patch
From: Matthias Klose <doko@ubuntu.com>
Date: Tue, 24 Dec 2013 00:41:06 +0100
Message-id: <[🔎] 52B8CA12.20502@ubuntu.com>
Reply-to: Matthias Klose <doko@ubuntu.com>, 707347@bugs.debian.org

Control: tags -1 + patch

patch at
http://launchpadlibrarian.net/160556930/apron_0.9.10-5.2ubuntu5_0.9.10-5.2ubuntu6.diff.gz

Reply to:

Prev by Date: Processed: tagging 732833, tagging 729090, tagging 728708
Next by Date: Processed: add patch
Previous by thread: Processed: tagging 732833, tagging 729090, tagging 728708
Next by thread: Processed: add patch
Index(es):
- Date
- Thread