Processed: Re: Bug#860718: jessie-pu: package openmpi/1.6.5-9.1+deb8u1

To: "Adam D. Barratt" <adam@adam-barratt.org.uk>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#860718: jessie-pu: package openmpi/1.6.5-9.1+deb8u1
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 27 Apr 2017 20:03:03 +0000
Message-id: <[🔎] handler.s.B860718.149332319314464.transcript@bugs.debian.org>
References: <[🔎] 1493323186.32026.92.camel@adam-barratt.org.uk> <[🔎] 20170419103259.30718.88033.reportbug@zam581.zam.kfa-juelich.de>

Processing control commands:

> tags -1 + confirmed
Bug #860718 [release.debian.org] jessie-pu: package openmpi/1.6.5-9.1+deb8u1
Added tag(s) confirmed.

-- 
860718: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860718
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#860718: jessie-pu: package openmpi/1.6.5-9.1+deb8u1
  - From: "Adam D. Barratt" <adam@adam-barratt.org.uk>
- Bug#860718: jessie-pu: package openmpi/1.6.5-9.1+deb8u1
  - From: Andreas Beckmann <anbe@debian.org>

Prev by Date: Bug#860718: jessie-pu: package openmpi/1.6.5-9.1+deb8u1
Next by Date: Bug#861290: marked as done (unblock: chromium-browser/58.0.3029.81-1)
Previous by thread: Bug#860718: jessie-pu: package openmpi/1.6.5-9.1+deb8u1
Next by thread: Processed: Re: Bug#860718: jessie-pu: package openmpi/1.6.5-9.1+deb8u1
Index(es):
- Date
- Thread