[Pkg-openmpi-maintainers] Processed: Workarround

[Debian Bug Tracking System]

Processing control commands:

> retitle -1 [workarroun]openmpi-bin: Doesn't work in a chroot
Bug #494046 [openmpi-bin] openmpi-bin: Doesn't work in a chroot environment
Changed Bug title to '[workarroun]openmpi-bin: Doesn't work in a chroot' from 'openmpi-bin: Doesn't work in a chroot environment'

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