Processed: Re: Bug#836917: transition: openmpi

To: Emilio Pozuelo Monfort <pochu@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#836917: transition: openmpi
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 07 Sep 2016 22:03:10 +0000
Message-id: <[🔎] handler.s.B836917.147328566823091.transcript@bugs.debian.org>
References: <[🔎] 85f1a6bf-e08d-8e27-41bb-d38f25e79585@debian.org> <[🔎] 147323675157.8891.2349385209281917633.reportbug@osiris.linuxminded.xs4all.nl>

Processing control commands:

> tags -1 confirmed
Bug #836917 [release.debian.org] transition: openmpi
Added tag(s) confirmed.

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

Reply to:

References:
- Bug#836917: transition: openmpi
  - From: Emilio Pozuelo Monfort <pochu@debian.org>
- Bug#836917: transition: openmpi
  - From: Bas Couwenberg <sebastic@xs4all.nl>

Prev by Date: Processed: Re: Bug#836942: transition: glew
Next by Date: Bug#836917: transition: openmpi
Previous by thread: Processed: transition: openmpi
Next by thread: Bug#836917: transition: openmpi
Index(es):
- Date
- Thread