fixed 1144092 5.0.10-5 close 1144092 thanks
- Bug#1144092: openmpi-bin has an undeclared file... Helmut Grohne
- Processed: openmpi-bin has an undeclared f... Debian Bug Tracking System
- Bug#1144092: closing 1144092 alastair
- Processed: closing 1144092 Debian Bug Tracking System
